

Moscow Symposium on Logic, Algebra and Computation
Steklov Mathematical Institute
February 810, 2006
Preliminary program

Wednesday, February 8
Conference Hall, 9th 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, 9th Floor
15:30  16:00 L. Bokut', "GroebnerShirshov 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 RiegerNishimura 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, 9th 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, 9th 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 Booleanlike 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, 9th 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 SemiThue 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)

