Structural Proof Theory and Algebraic Logic

Seminars

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

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).

Lecturer
Speranski Stanislav Olegovich

Institutions
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*

	*April 27, 2022 (Wed)*

1.	Лекция 12: Гейтинговы алгебры S. O. Speranski April 27, 2022 13:10, Moscow, Steklov Mathematical Institute, Room 430 (8 Gubkina) + Zoom


	*April 25, 2022 (Mon)*

2.	Lecture 11. Structural Proof Theory and Algebraic Logic S. O. Speranski April 25, 2022 14:45, Moscow, Steklov Mathematical Institute, Room 430 (8 Gubkina) + Zoom


	*April 18, 2022 (Mon)*

3.	Lecture 10. Structural Proof Theory and Algebraic Logic S. O. Speranski April 18, 2022 14:45, Moscow, Steklov Mathematical Institute, Room 430 (8 Gubkina) + Zoom


	*April 11, 2022 (Mon)*

4.	Lecture 9. Structural Proof Theory and Algebraic Logic S. O. Speranski April 11, 2022 14:45, Moscow, Steklov Mathematical Institute, Room 430 (8 Gubkina) + Zoom


	*April 4, 2022 (Mon)*

5.	Lecture 8. Structural Proof Theory and Algebraic Logic S. O. Speranski April 4, 2022 14:45, Moscow, Steklov Mathematical Institute, Room 430 (8 Gubkina) + Zoom


	*March 28, 2022 (Mon)*

6.	Lecture 7. Structural Proof Theory and Algebraic Logic S. O. Speranski March 28, 2022 14:45, Moscow, Steklov Mathematical Institute, Room 430 (8 Gubkina) + Zoom


	*March 21, 2022 (Mon)*

7.	Lecture 6. Structural Proof Theory and Algebraic Logic S. O. Speranski March 21, 2022 14:45, Moscow, Steklov Mathematical Institute, Room 430 (8 Gubkina) + Zoom


	*March 14, 2022 (Mon)*

8.	Lecture 5. Structural Proof Theory and Algebraic Logic S. O. Speranski March 14, 2022 14:45, Moscow, Steklov Mathematical Institute, Room 430 (8 Gubkina) + Zoom


	*February 28, 2022 (Mon)*

9.	Lecture 4. Structural Proof Theory and Algebraic Logic S. O. Speranski February 28, 2022 14:45, Moscow, Steklov Mathematical Institute, Room 430 (8 Gubkina) + Zoom


	*February 21, 2022 (Mon)*

10.	Lecture 3. Structural Proof Theory and Algebraic Logic S. O. Speranski February 21, 2022 14:45, Moscow, Steklov Mathematical Institute, Room 430 (8 Gubkina) + Zoom


	*February 14, 2022 (Mon)*

11.	Lecture 2. Structural Proof Theory and Algebraic Logic S. O. Speranski February 14, 2022 14:45, Moscow, Steklov Mathematical Institute, Room 430 (8 Gubkina) + Zoom


	*February 7, 2022 (Mon)*

12.	Lecture 1. Structural Proof Theory and Algebraic Logic S. O. Speranski February 7, 2022 14:45, Moscow, Steklov Mathematical Institute, Room 430 (8 Gubkina) + Zoom

Registration to the website

Logotypes