Plenary lectures
August 16  August 17  August 18  August 19 
09.3010.00 Opening of the conference 
9.0010.00 Moshe Vardi Buechi complementation: a fortyyear saga (Houston) 
9.0010.00 Yurii Ershov Model theory for multi valued fields (Novosibirsk) 
9.0010.00 Joseph Miller The degrees of unsolvability of continuous functions (Bloomington) 
10.0011.00 Hiroakira Ono Interpolation property and principle of variable separation in substructural logics (Nomi) 
10.0510.50 Vladimir Rybakov Admissible inference rules in temporal linear logics based at integer numbers (Manchester) 
10.0510.50 Xishun Zhao Complexity results on minimal unsatisfiable formulas (Guangzhou) 
10.0510.50 Vladimir Kanovei On two inductive Borel irreducibility theorems (Moscow) 
11.2012.05 Andrei Mantsivoda Semantic programming for semantic web (Irkutsk) 
11.1012.10 Sanjay Jain, Kinber E. Negative data in learning languages (Singapore) 
11.1012.10 Masahiko Sato A natural framework for checking proofs (Kyoto) 
11.1012.10 Lev Beklemishev On limit existence principles in formal arithmetic (Utrecht) 
12.1012.55 Su Gao Unitary group actions and classification problems (Beijing, Denton) 
12.1513.00 Bakhadyr Khoussainov On finitely presented expansions of algebras (Auckland) 
12.1513.00 Andrei Voronkov The theory and practice of automated reasoning in firstorder logic (Manchester) 
12.1513.00 Pavel Alaev Computable Boolean algebras (Novosibirsk) 
August 16  August 17  18  August 19  
15.00  15.30 
Reimann Jan, Stephan Frank On hierarchies of randomness tests. (Singapore) 
Pavlovsky E.N. Estimating algorithmic complexity of classes of computable models. (Novosibirsk) 
Dimitracopaulos C, Sirokofskich A.I. On a problem of L.D. Beklemishev. ( Athens) 

15.30 16.00 
Khisamiev N. On constructive nilpotent groups. (UstKamenogorsk) 
Puzarenko V. Principles of computability on admissible sets. (Novosibirsk) 
Stukachev A. On mass problems of presentability. (Novosibirsk) 

16.00  16.30 
Khoussainov B., Slaman T., Semukhin P.M. On ฯ^{0}_{1}  presentations of algebras. (Auckland) 
Rybalov A.N. A recursive oracle for separation of P and NP over complex number field. (Omsk) 
Ashaev I.V. Graph theorem for computability over algebraic structures. (Omsk) 

16.50 17.20 
Hausser R.R. Comparing leftassociative grammar with PSG (Erlangen) 
Latkin I.V. The time complexity of the bounded firstorder theory. (UstKamenogorsk) 
Melnikov A.G. Torsion free low Abelian groups. (Novosibirsk) 

17.20 17.50 
Badaev S.A.,Talasbaeva Zh.T. Computability in the Ershov hierarchy . (Almaty) 
Yang Y. (To be announced) (Singapore) 
Nechesov A.V. Boleon algebras and complesityredused automata. (Novosibirsk) 

17.50 18.20 
Korovin K., Voronkov A. Random structures and thresholds for existential fragment of firstorder logic (Manchester) 
Gavryushkin A.N. The complexity of ehrenfeucht models. (Novosibirsk) 
Vinokurov N.S. Homogeneous automatic structures. (Novosibirsk) 

18.20 18.50 
ีีีีีีี 


August 16  August 17  18  August 19  
15.00  15.30 
Baizhanov B.S. Expansions of models of stable theories and weakly benign property. (Almaty) 
Hoang S.C. Truth & proof in arithmetic . (Seoul) 

15.30 16.00 
Pinus A.G. On the implicit functions definet on different categories of finite universal algebras. (Novosibirsk) 
Tung S.P. Computational complexity of sentences over fields. (Chung Li) 

16.00  16.30 
Stepanova A. Additive poligons theory. (Vladivostok) 
Yeshkeyev A.R. On Jstability of Jonsson's theories. (Karaganda) 

16.50 17.20 
Sudoplatov S.V. On saturated generic models (Novosibirsk) 
Nudelman A.S. One metamathematical paradox. (Novosibirsk) 

17.20 17.50 
Pal'chunov D. Firstorder definability in the elementary type semigroup of superatomic Boolean algebras with distinguished subalgebra. (Novosibirsk) 
Sokolova V.V., Novoseltsev V.B. Modelling of recursive structures. (Tomsk) 

17.50 18.20 
ฬorozov A.S. On definable subsets of the group Aut(Q,<). (Novosibirsk) 
Poplavski V. Orientation and permanent decomposition of Boolean matrices. (Saratov) 

18.20 18.50 
ีีีีีีี 

August 16  August 17  18  August 19  
15.00  15.30 
Ardeshir M. Basic arithmetics (Tehran) 
Omarov Z.A. A criterion of ncharacterisation of the variety of lattices. (Almaty) 
Odintsov S., Pearce D. The logic of paraconsistent answer sets. (Novosibirsk, Madrid) 

15.30 16.00 
Mardaev S.I. Graded modalities and fixed points. (Novosibirsk) 
Rutskii A.N. Admissible inference rules in nonlinear tense logics (Krasnoyarsk) 
Stukacheva M. Canonical formulas for extensions of minimal logic. (Novosibirsk) 

16.00  16.30 
Kuznetsov A.M. Matrix modal logic (Novokuznetsk) 
Schreiner P.A. Automatical recognition of the interpolation property in the extension of the S5. (Novosibirsk) 
Beliakin N. One $omega$inconsistent formalization of set theory. (Novosibirsk) 

16.50 17.20 
Gencer C. Basis for passive inference rules in the modal logic K4. (ISTANBUL) 
Nurakunov A.M. On lattices of equational theories. (Bishkek) 
Ol'khovikov G.K. New semantics for classical propositional deontic logic. (Yekaterinburg) 

17.20 17.50 
Babyonyshev S.V. Another characterization of deductiondetachment theorem. (Krasnoyarsk) 



17.50 18.20 




18.20 18.50 
ีีีีีีี 


August 16  August 17  18  August 19  
15.00  15.20 
Lepage F. The functional completeness of Lesniewski's systems. (Montreal) 
Vityaev E.E. Logic and probability synthesis in the prediction notion. (Novosibirsk) 
Sizikov V.P., Razumov V.I., Sizikova L.G. The genetically caused logic structures. (Omsk) 

15.30 15.50 
Choe K.M., Eo H., O S.H., Shilov N.V.,Yi K. Proofs about folklore: why model checking = reachability? (Daejeon) 
Pal'chunov D. Definition of object domain ontology. (Novosibirsk) 
Sulis W.H. Archetypal dynamics, tapestries, and logic. (Cayuga, Ontario) 

16.00  16.20 
Demenkov P.S., Kharlamov E.Y. Discrete modeling of structure preserving mutations in proteins. (Novosibirsk) 
Yakhyaeva G.E. About fuzzy logic of final set of experts. (Novosibirsk) 
Lisitsa A., Potapov I. On temporal logic between propositional and firstorder. ( Liverpool) 

16.50 17.10 
Juriev D.N., Postnov S.S. The nonclassical threevalued logic and artificial intelligence: conjunction of deterministic and fuzzy approach. ( Moscow) 
Wolff K.E. Conceptual semantic systems  theory and applications. (Darmstadt) 
Kovalyov S.P. Modeltheoretic methods of analysis of computer arithmetic. (Novosibirsk) 

17.20 17.40 
Korovina M., N. Vorobjov Pfaffian hybrid systems (Novosibirsk) 
Reibold A. Coalgebraic und category theoretical aspects of conceptual system theory. (Darmstadt) 
Kwon K. Techniques for verifying prolog implementations. (Busan) 

17.50 18.10 




18.20 18.40 
ีีีีีีี 

