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 8–May 17, 2021, MIPT - MI RAS, Moscow

Spring Semester Schedule of 2020/2021:

Time: Monday 16:45 – 18:10

First lecture: 8 February

Announcements:
Заключительная лекция состоится 17 мая. 3 и 10 мая лекций не будет.

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

Задачи к курсу (часть 1)
Задачи к курсу (часть 2)

Lecturer
Kuznetsov Stepan Lvovich

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 8–May 17, 2021*

	*May 17, 2021 (Mon)*

1.	Lecture 11. Structural Proof Theory and Algebraic Logic S. L. Kuznetsov May 17, 2021 16:40, Moscow, MIPT - MI RAS


	*April 26, 2021 (Mon)*

2.	Lecture 10. Structural Proof Theory and Algebraic Logic S. L. Kuznetsov April 26, 2021 16:45, Moscow, MIPT - MI RAS


	*April 19, 2021 (Mon)*

3.	Lecture 9. Structural Proof Theory and Algebraic Logic S. L. Kuznetsov April 19, 2021 16:45, Moscow, MIPT - MI RAS


	*April 12, 2021 (Mon)*

4.	Lecture 8. Structural Proof Theory and Algebraic Logic S. L. Kuznetsov April 12, 2021 16:45, Moscow, MIPT - MI RAS


	*April 5, 2021 (Mon)*

5.	Lecture 7. Structural Proof Theory and Algebraic Logic S. L. Kuznetsov April 5, 2021 16:45, Moscow, MIPT - MI RAS


	*March 29, 2021 (Mon)*

6.	Lecture 6. Structural Proof Theory and Algebraic Logic S. L. Kuznetsov March 29, 2021 16:45, Moscow, MIPT - MI RAS


	*March 22, 2021 (Mon)*

7.	Lecture 5. Structural Proof Theory and Algebraic Logic S. L. Kuznetsov March 22, 2021 16:45, Moscow, MIPT - MI RAS


	*March 15, 2021 (Mon)*

8.	Lecture 4. Structural Proof Theory and Algebraic Logic S. L. Kuznetsov March 15, 2021 16:45, Moscow, MIPT - MI RAS


	*March 1, 2021 (Mon)*

9.	Lecture 3. Structural Proof Theory and Algebraic Logic S. L. Kuznetsov March 1, 2021 16:45, Moscow, MIPT - MI RAS


	*February 15, 2021 (Mon)*

10.	Lecture 2. Structural Proof Theory and Algebraic Logic S. L. Kuznetsov February 15, 2021 16:45, Moscow, MIPT - MI RAS


	*February 8, 2021 (Mon)*

11.	Lecture 1. Structural Proof Theory and Algebraic Logic S. L. Kuznetsov February 8, 2021 16:35, Moscow, MIPT - MI RAS

Registration to the website

Logotypes