Seminars
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  


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)

RSS: Forthcoming seminars

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


Important: the list below includes presentations with video-materials only
Click here to get the full list of presentations.

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
S. L. Kuznetsov
  

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
S. L. Kuznetsov
  

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
S. L. Kuznetsov
  

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
S. L. Kuznetsov
  

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
S. L. Kuznetsov
  

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
S. L. Kuznetsov
  

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
S. L. Kuznetsov
  

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
S. L. Kuznetsov
  

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
S. L. Kuznetsov
  

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
S. L. Kuznetsov
  

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
S. L. Kuznetsov
  
 
Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2021