Традиционная зимняя сессия МИАН–ПОМИ, посвященная теме «Математическая логика»
(24–25 декабря 2018 г., МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж, г. Москва)

Традиционная зимняя сессия МИАН–ПОМИ, посвященная теме «Математическая логика», г. Москва, 24–25 декабря 2018 г.
	24 декабря 2018 г. (пн)
1.	$\Pi^0_1$-формулировки некоторых известных проблем Ю. В. Матиясевич 24 декабря 2018 г. 12:00–12:35, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
2.	Колмогоровская сложность вычислимых 0-1-последовательностей Н. К. Верещагин 24 декабря 2018 г. 12:35–13:10, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
3.	Техники уменьшения глубины схем А. С. Куликов 24 декабря 2018 г. 14:50–15:25, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
4.	О коротких доказательствах медленной непротиворечивости Ф. Н. Пахомов 24 декабря 2018 г. 15:25–16:00, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
5.	Резолюционные доказательства и монотонные вычисления Д. О. Соколов 24 декабря 2018 г. 16:20–16:55, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
6.	Цейтинские формулы и однопроходные ветвящиеся программы Д. М. Ицыксон 24 декабря 2018 г. 16:55–17:30, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
7.	Сложность вычисления некоторых функций коммуникационными протоколами с большим числом участников В. В. Подольский 24 декабря 2018 г. 17:30–18:05, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
	25 декабря 2018 г. (вт)
8.	Полудуплексная коммуникационная сложность А. В. Смаль 25 декабря 2018 г. 10:00–10:35, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
9.	Полные подграфы в случайных графах и регулярные резолюции А. А. Разборов 25 декабря 2018 г. 10:35–11:10, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
10.	Аналоги многочленов Кантора для секторов М. А. Всемирнов 25 декабря 2018 г. 11:30–12:05, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
11.	Уравнения в группах и некоторые задачи геометрической комбинаторики И. Г. Лысёнок 25 декабря 2018 г. 12:05–12:40, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
12.	Исчисление Ламбека, обогащенное субэкспоненциалами А. О. Щедров 25 декабря 2018 г. 14:30–15:05, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
13.	$\Pi_1^0$-полнота исчисления Ламбека с итерацией Клини С. Л. Кузнецов 25 декабря 2018 г. 15:05–15:40, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
14.	Об истинностных значениях и логических константах в модальных логиках Белнапа–Данна С. О. Сперанский 25 декабря 2018 г. 16:00–16:35, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж
15.	Об устранении сечения для системы $K^+$ Д. С. Шамканов 25 декабря 2018 г. 16:35–17:10, г. Москва, МИАН, ул. Губкина, д. 8, конференц-зал, 9 этаж