Традиционная новогодняя сессия МИАН-ПОМИ, 2009 «Логика и теоретическая информатика»
(16–18 декабря 2009 г., г. Москва)

Традиционная новогодняя сессия МИАН-ПОМИ, 2009 «Логика и теоретическая информатика», г. Москва, 16–18 декабря 2009 г.
	16 декабря 2009 г. (ср)
1.	Десятая проблема Гильберта и модели вычислительных процессов Ю. В. Матиясевич 16 декабря 2009 г. 16:05, г. Москва
2.	Точная квадратичная оценка длины вывода в одной системе подстановок Туэ С. И. Адян 16 декабря 2009 г. 17:30, г. Москва
	17 декабря 2009 г. (чт)
3.	Алгебры флагов А. А. Разборов 17 декабря 2009 г. 10:30, г. Москва
4.	Диофантово кодирование и обобщенные многочлены Кантора М. А. Всемирнов 17 декабря 2009 г. 11:45, г. Москва
5.	Алгебра доказуемости и разреженная топология Л. Д. Беклемишев 17 декабря 2009 г. 12:50, г. Москва
	18 декабря 2009 г. (пт)
6.	Квадратичные уравнения в свободном моноиде И. Г. Лысёнок 18 декабря 2009 г. 10:30, г. Москва
7.	Оптимальные системы доказательств и алгоритмы (обзор) Э. А. Гирш 18 декабря 2009 г. 12:00, г. Москва
8.	О некоторых классах пороговых булевых схем ограниченной глубины В. В. Подольский 18 декабря 2009 г. 16:00, г. Москва
9.	Структурная сложность вероятностных вычислений с ограниченной ошибкой Д. М. Ицыксон 18 декабря 2009 г. 17:00, г. Москва