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