RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE


International conference "Moscow symposium on Logic, Algebra and Computation" dedicated to the 75th anniversary of Professor Sergei I. Adian
(February 8–10, 2006, Moscow)

International conference "Moscow symposium on Logic, Algebra and Computation" dedicated to the 75th anniversary of Professor Sergei I. Adian

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

Plenary speakers include: B. Amberg (Mainz), M. Baaz (Vienna), F. Cannonito (UC Irvine), S. Goncharov (Novosibirsk), Yu. Matiyasevich (St. Petersburg), I. Moerdijk (Utrecht), Y. Moschovakis (UCLA), W. Pohlers (Münster), H. Schwichtenberg (Munich), A. Visser (Utrecht).

E-mail:
Website: http://lac2006.mi.ras.ru

Photogallery of the conference

Organizing Committee
Beklemishev Lev Dmitrievich (Chairman)
Lysenok Igor Geront'evich
Pentus Mati Reinovich
Razborov Alexander Alexandrovich
Talambutsa Alexey Leonidovich
Yavorskii Rostislav Èduardovich

Organisations
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
Lomonosov Moscow State University


International conference "Moscow symposium on Logic, Algebra and Computation" dedicated to the 75th anniversary of Professor Sergei I. Adian, Moscow, February 8–10, 2006

February 10, 2006
1. Sergei Ivanovich and I, through the years
F. B. Cannonito
February 10, 2006 17:00, Moscow
F. B. Cannonito
  
2. Greeting
E. F. Mishchenko
February 10, 2006 18:00, Moscow
E. F. Mishchenko
  
3. Response to a statement E. F. Mishchenko
S. I. Adian
February 10, 2006 18:15, Moscow
S. I. Adian
  
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2017