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 13–November 29, 2022, Steklov Mathematical Institute, Room 430 (8 Gubkina) + Zoom)

We kindly ask all participants, including remote ones and those
watching recorded videos, to register at https://forms.gle/67nGfdNjkrQ2ASgw5.

Fall Semester Schedule of 2022/2023:

Time: Tuesday 16:25 – 17:50

First lecture: September 13

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

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


*Lambda Calculus, September 13–November 29, 2022*

	*November 29, 2022 (Tue)*

1.	Lecture 12. Lambda Calculus S. L. Kuznetsov November 29, 2022 16:25, Steklov Mathematical Institute, Room 430 (8 Gubkina) + Zoom


	*November 22, 2022 (Tue)*

2.	Lecture 11. Lambda Calculus S. L. Kuznetsov November 22, 2022 16:25, Steklov Mathematical Institute, Room 430 (8 Gubkina) + Zoom


	*November 15, 2022 (Tue)*

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


	*November 8, 2022 (Tue)*

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


	*November 1, 2022 (Tue)*

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


	*October 25, 2022 (Tue)*

6.	Lecture 7. Lambda Calculus S. L. Kuznetsov October 25, 2022 16:25, Steklov Mathematical Institute, Room 430 (8 Gubkina) + Zoom


	*October 18, 2022 (Tue)*

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


	*October 11, 2022 (Tue)*

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


	*October 4, 2022 (Tue)*

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


	*September 27, 2022 (Tue)*

10.	Lecture 3. Lambda Calculus S. L. Kuznetsov September 27, 2022 16:25, Steklov Mathematical Institute, Room 430 (8 Gubkina) + Zoom


	*September 20, 2022 (Tue)*

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


	*September 13, 2022 (Tue)*

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

Registration to the website

Logotypes