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)

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
2.	Колмогоровская сложность вычислимых 0-1-последовательностей N. K. Vereshchagin December 24, 2018 12:35–13:10, Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
3.	Техники уменьшения глубины схем A. S. Kulikov December 24, 2018 14:50–15:25, Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
4.	О коротких доказательствах медленной непротиворечивости F. N. Pakhomov December 24, 2018 15:25–16:00, Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
5.	Резолюционные доказательства и монотонные вычисления D. O. Sokolov December 24, 2018 16:20–16:55, Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
6.	Цейтинские формулы и однопроходные ветвящиеся программы D. M. Itsykson December 24, 2018 16:55–17:30, Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
7.	Сложность вычисления некоторых функций коммуникационными протоколами с большим числом участников V. V. Podolskii December 24, 2018 17:30–18:05, Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
	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
9.	Полные подграфы в случайных графах и регулярные резолюции A. A. Razborov December 25, 2018 10:35–11:10, Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
10.	Аналоги многочленов Кантора для секторов M. A. Vsemirnov December 25, 2018 11:30–12:05, Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
11.	Уравнения в группах и некоторые задачи геометрической комбинаторики I. G. Lysenok December 25, 2018 12:05–12:40, Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
12.	Исчисление Ламбека, обогащенное субэкспоненциалами A. Scedrov December 25, 2018 14:30–15:05, Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
13.	$\Pi_1^0$-полнота исчисления Ламбека с итерацией Клини S. L. Kuznetsov December 25, 2018 15:05–15:40, Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
14.	Об истинностных значениях и логических константах в модальных логиках Белнапа–Данна S. O. Speranski December 25, 2018 16:00–16:35, Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor
15.	Об устранении сечения для системы $K^+$ D. S. Shamkanov December 25, 2018 16:35–17:10, Moscow, Steklov Mathematical Institute, Gubkina, 8, Conference hall, 9 floor