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

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

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

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

Конференция будет проходить в Математическом институте им. В.А. Стеклова (РАН) и онлайн в Zoom.

Список докладчиков

Программа конференции

Регистрация

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


Вебсайт: https://sites.google.com/view/adian90/

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

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

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




© МИАН, 2024