RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE


Traditional winter session MIAN–POMI devoted to the topic "Mathematical logic"
(December 24–25, 2018, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor, Moscow)

Program

Speakers
Beklemishev Lev Dmitrievich
Itsykson Dmitrii Mikhailovich
Kulikov Alexander Sergeevich
Kuznetsov Stepan L'vovich
Lysenok Igor Geront'evich
Matiyasevich Yuri Vladimirovich
Pakhomov Fedor Nikolaevich
Podolskii Vladimir Vladimirovich
Razborov Alexander Alexandrovich
Scedrov Andre
Shamkanov Daniyar Salkarbekovich
Smal Alexander Vladimirovich
Sokolov Dmitry Olegovich
Speranski Stanislav Olegovich
Vereshchagin Nikolai Konstantinovich

Organisations
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
St. Petersburg Department of Steklov Mathematical Institute of Russian Academy of Sciences


Traditional winter session MIAN–POMI devoted to the topic "Mathematical logic", Moscow, December 24–25, 2018

December 24, 2018 (Mon)
1. $\Pi^0_1$-формулировки некоторых известных проблем
Yu. V. Matiyasevich
December 24, 2018 12:00–12:35, Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
Yu. V. Matiyasevich
  
2. Колмогоровская сложность вычислимых 0-1-последовательностей
N. K. Vereshchagin
December 24, 2018 12:35–13:10, Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
N. K. Vereshchagin
  
3. Техники уменьшения глубины схем
A. S. Kulikov
December 24, 2018 14:50–15:25, Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
A. S. Kulikov
  
4. О коротких доказательствах медленной непротиворечивости
F. N. Pakhomov
December 24, 2018 15:25–16:00, Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
F. N. Pakhomov
  
5. Резолюционные доказательства и монотонные вычисления
D. O. Sokolov
December 24, 2018 16:20–16:55, Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
D. O. Sokolov
  
6. Цейтинские формулы и однопроходные ветвящиеся программы
D. M. Itsykson
December 24, 2018 16:55–17:30, Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
D. M. Itsykson
  
7. Сложность вычисления некоторых функций коммуникационными протоколами с большим числом участников
V. V. Podolskii
December 24, 2018 17:30–18:05, Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
V. V. Podolskii
  

December 25, 2018 (Tue)
8. Полудуплексная коммуникационная сложность
A. V. Smal
December 25, 2018 10:00–10:35, Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
A. V. Smal
  
9. Полные подграфы в случайных графах и регулярные резолюции
A. A. Razborov
December 25, 2018 10:35–11:10, Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
A. A. Razborov
  
10. Аналоги многочленов Кантора для секторов
M. A. Vsemirnov
December 25, 2018 11:30–12:05, Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
M. A. Vsemirnov
  
11. Уравнения в группах и некоторые задачи геометрической комбинаторики
I. G. Lysenok
December 25, 2018 12:05–12:40, Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
I. G. Lysenok
  
12. Исчисление Ламбека, обогащенное субэкспоненциалами
A. Scedrov
December 25, 2018 14:30–15:05, Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
A. Scedrov
  
13. $\Pi_1^0$-полнота исчисления Ламбека с итерацией Клини
S. L. Kuznetsov
December 25, 2018 15:05–15:40, Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
S. L. Kuznetsov
  
14. Об истинностных значениях и логических константах в модальных логиках Белнапа–Данна
S. O. Speranski
December 25, 2018 16:00–16:35, Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
S. O. Speranski
  
15. Об устранении сечения для системы $K^+$
D. S. Shamkanov
December 25, 2018 16:35–17:10, Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
D. S. Shamkanov
  
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2019