Lambda Calculus

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

Lambda Calculus
September 6–December 13, 2021, 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
Задачи, часть 3

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, September 6–December 13, 2021*

	*December 13, 2021 (Mon)*

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


	*December 6, 2021 (Mon)*

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


	*November 29, 2021 (Mon)*

3.	Лекция 12. Неразрешимость задачи о сильной нормализуемости (продолжение) S. L. Kuznetsov November 29, 2021 16:25, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom


	*November 22, 2021 (Mon)*

4.	Лекция 11. Неразрешимость задачи о сильной нормализуемости S. L. Kuznetsov November 22, 2021 16:25, Moscow, Steklov Mathematical Institute, Room. 430 (8 Gubkina) + Zoom


	*November 15, 2021 (Mon)*

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


	*November 8, 2021 (Mon)*

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


	*October 25, 2021 (Mon)*

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

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

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

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


	*September 27, 2021 (Mon)*

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


	*September 20, 2021 (Mon)*

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


	*September 13, 2021 (Mon)*

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


	*September 6, 2021 (Mon)*

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

Registration to the website

Logotypes