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


Lambda Calculus
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/b3YiwYqHsvfNTB52A.



Fall Semester Schedule of 2021/2022:

Time: Monday 16:25 – 17:50

First lecture: September 6



Announcements:
Лекция 20 сентября пройдёт в онлайн-формате.


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

Seminar organizer
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


Lambda Calculus, Moscow

November 8, 2021 (Mon)
1. Лекция 9. Полнота относительно теоретико-множественной семантики
S. L. Kuznetsov
November 8, 2021 16:25, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom

October 25, 2021 (Mon)
2. Lecture 8. Lambda Calculus
S. L. Kuznetsov
October 25, 2021 16:25, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
  

October 18, 2021 (Mon)
3. Lecture 7. Lambda Calculus
S. L. Kuznetsov
October 18, 2021 16:25, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
  

October 11, 2021 (Mon)
4. Lecture 6. Lambda Calculus
S. L. Kuznetsov
October 11, 2021 16:25, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
  

October 4, 2021 (Mon)
5. Lecture 5. Lambda Calculus
S. L. Kuznetsov
October 4, 2021 16:25, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
S. L. Kuznetsov
  

September 27, 2021 (Mon)
6. Lecture 4. Lambda Calculus
S. L. Kuznetsov
September 27, 2021 16:25, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
S. L. Kuznetsov
  

September 20, 2021 (Mon)
7. Lecture 3. Lambda Calculus
S. L. Kuznetsov
September 20, 2021 16:25, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
S. L. Kuznetsov
  

September 13, 2021 (Mon)
8. Lecture 2. Lambda Calculus
S. L. Kuznetsov
September 13, 2021 16:25, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
S. L. Kuznetsov
  

September 6, 2021 (Mon)
9. Lecture 1. Lambda Calculus
S. L. Kuznetsov
September 6, 2021 16:25, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom
S. L. Kuznetsov
  
 
Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2021