RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ


Международная конференция «Moscow Symposium on Logic, Algebra and Computation», посвященная 75-летию академика С. И. Адяна
(8–10 февраля 2006 г., г. Москва)

Международная конференция «Moscow Symposium on Logic, Algebra and Computation», посвященная 75-летию академика С. И. Адяна

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

Фотогалерея конференции

Организационный комитет
Беклемишев Лев Дмитриевич (председатель)
Лысёнок Игорь Геронтьевич
Пентус Мати Рейнович
Разборов Александр Александрович
Таламбуца Алексей Леонидович
Яворский Ростислав Эдуардович

Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
Московский государственный университет имени М.В. Ломоносова


Международная конференция «Moscow Symposium on Logic, Algebra and Computation», посвященная 75-летию академика С. И. Адяна, г. Москва, 8–10 февраля 2006 г.

10 февраля 2006 г.
1. Sergei Ivanovich and I, through the years
F. B. Cannonito
10 февраля 2006 г. 17:00, г. Москва
F. B. Cannonito
  
2. Приветствие
Е. Ф. Мищенко
10 февраля 2006 г. 18:00, г. Москва
Е. Ф. Мищенко
  
3. Ответ на выступление Е. Ф. Мищенко
С. И. Адян
10 февраля 2006 г. 18:15, г. Москва
С. И. Адян
  
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017