Organizers

Steklov Mathematical Institute

Lomonosov Moscow State University



General Information

Preliminary program

Practical information

Dedicated to S.I.Adian

Cultural events in Moscow

Pictures from the conference



Sponsors

Russian Foundation for Basic Research

Russian Academy of Sciences

Kurt Gödel Society (Austria)


Moscow Symposium on Logic, Algebra and Computation
Steklov Mathematical Institute
February 8-10, 2006

Preliminary program


Wednesday, February 8
Conference Hall, 9-th Floor
9:30 Registration
10:00 - 10:50 I. Lysenok, "Burnside Problem after P.S.Novikov and S.I.Adian"
11:00 - 11:50 H. Schwichtenberg, "Minimal Logic for Computable Functionals"
12:00 - 12:20 Coffee
12:20 - 13:10 A. Myasnikov, "Reflections of Tarski's Problems"
13:20 - 15:30 Lunch
15:30 - 17:30 Parallel sections
Section "Algebra", Conference Hall, 9-th Floor
15:30 - 16:00 L. Bokut', "Groebner-Shirshov Bases and Normal Forms for Braid Groups"
16:00 - 16:30 V. Atabekyan, "On periodic groups of odd period n ≥ 1003"
16:30 - 16:50 Coffee
16:50 - 17:20 A. Lashkhi, "Geometry of Linear Groups over Rings"
17:20 - 18:00 O. Kharlampovich, " Equations with Parameters in Free Groups"
Section "Logic and Computation", Room 530
15:30 - 16:00 D. de Jongh, "The Logic of the Rieger-Nishimura Ladder"
16:00 - 16:30 V. Shehtman, "Information types and spatial modal logics"
16:30 - 16:50 Coffee
16:50 - 17:20 A. Muchnik
17:20 - 17:50 V. Durnev, "On Fragments of Elementary Theories of Free Semigroups"


Thursday, February 9
Conference Hall, 9-th Floor
10:00 - 10:50 Y. Moschovakis, "Recursion and Complexity"
11:00 - 11:50 B. Amberg, "Radical and Local Rings with Nilpotency Conditions"
12:00 - 12:20 Coffee
12:20 - 13:10 M. Baaz, "Herbrand's Theorem and Skolem Functions"
13:20 - 15:30 Lunch
15:30 - 17:30 Parallel sections
Section "Algebra", Conference Hall, 9-th Floor
15:30 - 16:00 V. Remeslennikov, "Generic Complexity of Algorithms in Combinatorial Group Theory"
16:00 - 16:30 Y. Movsisian, "On the Representations of Boolean-like Algebras"
16:30 - 16:50 Coffee
16:50 - 17:20 A. Malkhasian, "On the Subgroup Intersection in Finite Groups"
17:20 - 17:50 Y. Zhang, "Maximal Cofinitary Groups"
Section "Logic and Computation", Room 530
15:30 - 16:00 A. Beckmann, "Dynamic Ordinals and Definable Functions"
16:00 - 16:30 M. Taitslin, "The collapse results for database query languages"
16:30 - 16:50 Coffee
16:50 - 17:20 N. Vereshchagin, "Japaridze's Computational Logic and Intuitionistic Propositional Calculus"
17:20 - 17:50 M. Pentus, "Computational Complexity of the Lambek Calculus"


Friday, February 10
Conference Hall, 9-th Floor
10:00 - 10:50 W. Pohlers, "Ordinal Analysis and Large Cardinals"
11:00 - 11:50 S. Goncharov, "Computable Models and Computable Numberings"
12:00 - 12:20 Coffee
12:20 - 13:10 A. Visser, "On Comparing the Degrees of Local and of Global Interpretability"
13:20 - 15:30 Lunch
15:30 - 16:05 Yu. Matiyasevich, "Undecidable Problems for Semi-Thue Systems with Three Rules"
16:05 - 16:40 A. Semenov, "Relational Algebras. General Concepts and Subalgebras of Rational Order"
16:40 - 17:00 Coffee
17:00 - 17:50 F. Cannonito, "Sergei Ivanovich and I, through the years"
17:50 Closing
18:00 Reception (Conference Hall)