Latest seminars

Понедельник 15.01. А.С. Герасимов: "Рациональная логика Павелки первого порядка: бесповторное гиперсеквенциальное исчисление и алгоритмы поиска вывода"

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

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

Тема: Рациональная логика Павелки первого порядка: бесповторное гиперсеквенциальное исчисление и алгоритмы поиска вывода.

Пятница 22.12. Д.О. Соколов: "Monotone Circuit Lower Bounds from Resolution"

Пятница, 22 декабря, 402. Начало в 13:00.

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

Тема: Monotone Circuit Lower Bounds from Resolution.

Пятница 15.12. А. Смаль: "PPSZ for General k-SAT - Making Hertli's Analysis Simpler and 3-SAT Faster"

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

Докладчик: А. Смаль.

Тема: PPSZ for General k-SAT - Making Hertli's Analysis Simpler and 3-SAT Faster.