Laboratory of Mathematical Logic at PDMI

Cреда, 10 июля, 203. Начало в 17:00.

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

Тема: A proof of the Sensitivity Conjecture & A tradeoff between length and width in PCR.

Cреда, 10 июля, 203. Начало в 12:00.

Докладчик: Navid Talebanfard (Institute of Mathematics CAS, Prague).

Тема: A separator theorem for hypergraphs and a CSP-SAT algorithm.

Cреда, 17 апреля, 106. Начало в 14:00.

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

Тема: Псевдо-ширина и замыкания.

Пятница, 5 апреля, ауд. 106. Начало в 17:00.

Докладчик: С.И. Грязнов.

Тема: Нижние оценки в древовидной системе доказательств Res(+) на ordering principles.

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

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

Тема: Нижние оценки для OBDD-систем доказательств, использующих несколько порядков на переменных.

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

Докладчик: Евгений Стратоников.

Тема: Коммуникационная сложность и нижние оценки на размер ветвящихся программ.

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

Докладчик: А.Х. Шень (LIRMM, ИППИ РАН).

Тема: Три подхода к определению понятия количества информации: увеличение сложности при случайном шуме.

Пятница, 30 ноября, ауд. 106. Начало в 14:00.

Докладчик: Татьяна Белова.

Тема: Верхние и нижние оценки для различных параметризаций задачи (n, 3)-MAXSAT.

Пятница, 23 ноября, ауд. 106. Начало в 14:00.

Докладчик: Анастасия Софронова.

Тема: Верхние оценки на размер dag-like коммуникационных протоколов.

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

Докладчик: Федор Парт.

Тема: Нижние оценки для резолюций с линейными уравнениями над кольцами.