Конференции
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  


Международная конференция "Adian 90: Conference on Mathematical Logic, Algebra and Computation"
(5–7 июля 2021 г., Математический институт им.В.А.Стеклова РАН (г. Москва) и online-трансляция через Zoom)

Конференция посвящена 90-летию со дня рождения академика Сергея Ивановича Адяна (1931-2020). Она является продолжением серии конференций по логике, алгебре и вычислениям, организованных ранее в Математическом институте им. В. А. Стеклова, и является частью программы Logical prospectives 2021.

На конференции будут представлены пленарные лекции видных специалистов в области логики, алгебры и вычислений, а также ряд более коротких докладов. Все доклады являются приглашёнными.

Темы традиционно включают: комбинаторную и геометрическую теорию групп, алгоритмические проблемы, теорию множеств, теорию доказательств и ординальный анализ, теорию вычислительной сложности, теорию вычислимости, универсальную алгебру, теорию автоматов, конструктивную алгебру и теорию моделей, неклассическую логику.

Финансовая поддержка. Конференция проводится при финансовой поддержке Фонда Саймонса и Минобрнауки России (грант на создание и развитие МЦМУ МИАН, соглашение № 075-15-2019-1614).

E-mail:
Website: http://www.mi-ras.ru/~adian90
RSS:

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

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

Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
Математический центр мирового уровня «Математический институт им. В.А. Стеклова Российской академии наук» (МЦМУ МИАН)

 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021