Тематика семинара — классические и неклассические логики, теория групп и полугрупп, теория доказательств.

Семинары проходят по вторникам, время начала заседания - 18.30. Осенью 2021 года все семинары будут транслироваться на платформе Zoom. Некоторые заседания будут проходить очно в МИАН с трансляцией в Zoom, об этом будет сообщаться отдельно.

Для получения ссылки на Zoom-трансляцию, напишите Алексею Таламбуце <altal@mi-ras.ru>.

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

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