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

Moscow, Russia, February 8-10, 2006


International conference "Moscow symposium on Logic, Algebra and Computation" will take place at Steklov Mathematical Institute in Moscow, Russia, from 8.02.2006 to 10.02.2006. It is organized on a special occasion - the 75-th anniversary of Professor Sergei I. Adian. 

The conference will feature plenary lectures by distinguished specialists in the broadly conceived area of Logic, Algebra and Computation, as well as a number of shorter presentations. All talks will be invited. Topics include: combinatorial group theory, word problems, proof theory and ordinal analysis, computational complexity theory, symbolic computation, interactive deduction systems, bounded arithmetic, universal algebra, constructive algebra and model theory, non-classical logics, intuitionistic logic.


Organizing committee:
L. Beklemishev (chair), I. Lysenok, M. Pentus, A. Razborov, A. Semenov, A. Talambutsa, R. Yavorskiy

Plenary speakers include:
B. Amberg (Mainz), M. Baaz (Vienna), F. Cannonito (UC Irvine), S. Goncharov (Novosibirsk), O. Kharlampovich (Montreal), I. Lysenok (Moscow), Yu. Matiyasevich (St.Petersburg), Y. Moschovakis (UCLA), A. Myasnikov (New York), W. Pohlers (Münster), A. Semenov (Moscow); H. Schwichtenberg (Munich), A. Visser (Utrecht).

Address:
Steklov Mathematical Institute
Gubkina 8, 119991 Moscow,
Russia
fax. +7-(495)-135-0555
tel. +7-(495)-938-3744
e-mail: LAC2006@mi.ras.ru