Structural Proof Theory and Algebraic Logic

SEMINARS

Structural Proof Theory and Algebraic Logic
February 7–April 27, 2022, Steklov Mathematical Institute, Room 430 (8 Gubkina) + Zoom, Moscow

We kindly ask all participants, including remote ones and those
watching recorded videos, to register at https://forms.gle/AKXHjivjeAmztkCf9.

Spring Semester Schedule of 2021/2022:

Time: Monday 14:45 – 16:10

First lecture: February 7

Financial support. The course is supported by the Ministry of Science and Higher Education of the Russian Federation (the grant to the Steklov International Mathematical Center, Agreement no. 075-15-2019-1614).

RSS: Forthcoming seminars

Lecturer
Speranski Stanislav Olegovich

Organizations
Moscow Institute of Physics and Technology (State University), Dolgoprudny, Moscow region
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
Steklov International Mathematical Center

Structural Proof Theory and Algebraic Logic, Moscow, February 7–April 27, 2022