RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE


Special course "Lambda calculus, or computational proof theory", 2015
February 18–May 13, 2015, Steklov Mathematical Institute, Room 313 (8 Gubkina), Moscow


RSS: Forthcoming seminars

Chairman
Kuznetsov Stepan L'vovich

Organizations
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow


Special course "Lambda calculus, or computational proof theory", 2015, Moscow, February 18–May 13, 2015

May 13, 2015
1. Лямбда-исчисление, или вычислительная теория доказательств. Лекция 12
S. L. Kuznetsov
May 13, 2015 18:00, Moscow, Steklov Mathematical Institute, Room 313 (8 Gubkina)
S. L. Kuznetsov
  

April 29, 2015
2. Lambda calculus, or computational proof theory. Lecture 11
S. L. Kuznetsov
April 29, 2015 18:05, Moscow, Steklov Mathematical Institute, Room 313 (8 Gubkina)
S. L. Kuznetsov
  

April 22, 2015
3. Lambda calculus, or computational proof theory. Lecture 10
D. S. Shamkanov
April 22, 2015 18:00, Moscow, Steklov Mathematical Institute, Room 313 (8 Gubkina)
D. S. Shamkanov
  

April 15, 2015
4. Lambda calculus, or computational proof theory. Lecture 9
F. N. Pakhomov
April 15, 2015 18:00, Moscow, Steklov Mathematical Institute, Room 313 (8 Gubkina)
F. N. Pakhomov
  

April 8, 2015
5. Lambda calculus, or computational proof theory. Lecture 8
S. L. Kuznetsov
April 8, 2015 18:00, Moscow, Steklov Mathematical Institute, Room 313 (8 Gubkina)
S. L. Kuznetsov
  

April 1, 2015
6. Lambda calculus, or computational proof theory. Lecture 7
S. L. Kuznetsov
April 1, 2015 18:00, Moscow, Steklov Mathematical Institute, Room 313 (8 Gubkina)
S. L. Kuznetsov
  

March 25, 2015
7. Lambda calculus, or computational proof theory. Lecture 6
S. L. Kuznetsov
March 25, 2015 18:00, Moscow, Steklov Mathematical Institute, Room 313 (8 Gubkina)
S. L. Kuznetsov
  

March 18, 2015
8. Lambda calculus, or computational proof theory. Lecture 5
S. L. Kuznetsov
March 18, 2015 18:00, Moscow, Steklov Mathematical Institute, Room 313 (8 Gubkina)
S. L. Kuznetsov
  

March 11, 2015
9. Lambda calculus, or computational proof theory. Lecture 4
S. L. Kuznetsov
March 11, 2015 18:00, Moscow, Steklov Mathematical Institute, Room 313 (8 Gubkina)
S. L. Kuznetsov
  

March 4, 2015
10. Lambda calculus, or computational proof theory. Lecture 3
S. L. Kuznetsov
March 4, 2015 18:00, Moscow, Steklov Mathematical Institute, Room 313 (8 Gubkina)
S. L. Kuznetsov
  

February 25, 2015
11. Lambda calculus, or computational proof theory. Lecture 2
S. L. Kuznetsov
February 25, 2015 18:00, Moscow, Steklov Mathematical Institute, Room 313 (8 Gubkina)
S. L. Kuznetsov
  

February 18, 2015
12. Lambda calculus, or computational proof theory. Lecture 1
S. L. Kuznetsov
February 18, 2015 18:00, Moscow, Steklov Mathematical Institute, Room 313 (8 Gubkina)
S. L. Kuznetsov
  
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2017