Laboratory of Mathematical Logic at PDMI

Пятница, 31 марта, ауд. 203. Начало в 17:15.

Докладчик: Станислав Сперанский (СПбГУ).

Тема: О сложности «элементарных» теорий различных классов вероятностных пространств.

Пятница, 24 марта, Ауд. 203. Начало в 17:30.

Докладчик: Д. Соколов.

Тема: Нижние оценки в Cutting Planes.

Пятница, 17 марта, ауд. 203. Начало в 17:15.

Докладчик: Александр Рыбалов.

Тема: Генерический подход к алгоритмическим проблемам.

Понедельник, 5 декабря, 106. Начало в 14:00.

Докладчик: Н. Карпов.

Тема: Решение задачи 3-SUM с малой памятью и с малой глубиной дерева.

Пятница, 18 ноября, ауд. 203. Начало в 17:15.

Докладчик: Д.М. Ицыксон, А.А. Кноп.

Тема: Миникурс по сложности пропозициональных доказательств. Лекция 2.

Пятница, 11 ноября, ауд. 203. Начало в 17:15.

Докладчик: Ицыксон Д.М. (ПОМИ РАН).

Тема: Миникурс по сложности пропозициональных доказательств. Ширина и размер резолюционных доказательств..

Четверг, 17 ноября, ПОМИ. Начало в 14:00.

Докладчик: Д.Ю. Григорьев.

Тема: О сложности вычисления симметрических функций.

Понедельник, 17 октября, ауд. 106. Начало в 14:00.

Докладчик: Krzysztof Sornat (University of Wroclaw).

Тема: Approximation and Parameterized Complexity of Minimax Approval Voting.

Пятница, 28 октября, 402. Начало в 12:00.

Докладчик: Александр Смаль.

Тема: An Information Complexity Approach to the KRW Composition Conjecture, часть 3.

Понедельник, 3 октября, 402. Начало в 15:00.

Докладчик: Александр Смаль.

Тема: An Information Complexity Approach to the KRW Composition Conjecture, часть 2.