|
КОНФЕРЕНЦИИ |
Международная конференция "Adian 90: Conference on Mathematical Logic, Algebra and Computation" ( |
Конференция посвящена 90-летию со дня рождения академика Сергея Ивановича Адяна (1931-2020). Она является продолжением серии конференций по логике, алгебре и вычислениям, организованных ранее в Математическом институте им. В. А. Стеклова, и является частью программы Logical prospectives 2021.
На конференции будут представлены пленарные лекции видных специалистов в области логики, алгебры и вычислений, а также ряд более коротких докладов. Все доклады являются приглашёнными.
Темы традиционно включают: комбинаторную и геометрическую теорию групп, алгоритмические проблемы, теорию множеств, теорию доказательств и ординальный анализ, теорию вычислительной сложности, теорию вычислимости, универсальную алгебру, теорию автоматов, конструктивную алгебру и теорию моделей, неклассическую логику.
Конференция будет проходить в Математическом институте им. В.А. Стеклова (РАН) и онлайн в Zoom.
Финансовая поддержка. Конференция проводится при финансовой поддержке Фонда Саймонса и Минобрнауки России (грант на создание и развитие МЦМУ МИАН, соглашение № 075-15-2019-1614).