|
|
|
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)
|
|