Seminar topics include classical and non-classical logics, group and semigroups, proof theory.

Seminars are held on Tuesdays, the meeting starts at 18.30. In the fall of 2021, all seminars will be broadcast on the Zoom platform. Some meetings will be held at the Steklov Mathematical Institute with broadcast in Zoom, this will be reported separately.

To receive a link for Zoom, please send an email to Alexey Talambutsa <altal@mi-ras.ru>

Seminar organizers
Beklemishev Lev Dmitrievich
Lysenok Igor Geront'evich
Semenov Aleksei Lvovich

Organizations
Lomonosov Moscow State University, Faculty of Mechanics and Mathematics
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow