Plenary lectures
| August 16 | August 17 | August 18 | August 19 |
|
09.30-10.00 Opening of the conference |
9.00-10.00 Moshe Vardi Buechi complementation: a forty-year saga (Houston) |
9.00-10.00 Yurii Ershov Model theory for multi valued fields (Novosibirsk) |
9.00-10.00 Joseph Miller The degrees of unsolvability of continuous functions (Bloomington) |
|
10.00-11.00 Hiroakira Ono Interpolation property and principle of variable separation in substructural logics (Nomi) |
10.05-10.50 Vladimir Rybakov Admissible inference rules in temporal linear logics based at integer numbers (Manchester) |
10.05-10.50 Xishun Zhao Complexity results on minimal unsatisfiable formulas (Guangzhou) |
10.05-10.50 Vladimir Kanovei On two inductive Borel irreducibility theorems (Moscow) |
|
11.20-12.05 Andrei Mantsivoda Semantic programming for semantic web (Irkutsk) |
11.10-12.10 Sanjay Jain, Kinber E. Negative data in learning languages (Singapore) |
11.10-12.10 Masahiko Sato A natural framework for checking proofs (Kyoto) |
11.10-12.10 Lev Beklemishev On limit existence principles in formal arithmetic (Utrecht) |
|
12.10-12.55 Su Gao Unitary group actions and classification problems (Beijing, Denton) |
12.15-13.00 Bakhadyr Khoussainov On finitely presented expansions of algebras (Auckland) |
12.15-13.00 Andrei Voronkov The theory and practice of automated reasoning in first-order logic (Manchester) |
12.15-13.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. (Ust-Kamenogorsk) |
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 ฯ01 - 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 left-associative grammar with PSG (Erlangen) |
Latkin I.V. The time complexity of the bounded first-order theory. (Ust-Kamenogorsk) |
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 complesity-redused automata. (Novosibirsk) |
|
|
17.50 18.20 |
Korovin K., Voronkov A. Random structures and thresholds for existential fragment of first-order 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 J-stability 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. First-order 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 n-characterisation 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 non-linear 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 deduction-detachment 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 first-order. ( Liverpool) |
|
|
16.50 17.10 |
Juriev D.N., Postnov S.S. The non-classical three-valued logic and artificial intelligence: conjunction of deterministic and fuzzy approach. ( Moscow) |
Wolff K.E. Conceptual semantic systems - theory and applications. (Darmstadt) |
Kovalyov S.P. Model-theoretic 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 |
ีีีีีีี |
|
|