Laboratory of Mathematical Logic at PDMI

Четверг, 12 июля, 203. Начало в 17:00.

Докладчик: А. Кноп.

Тема: Стабильные сортировки слиянием.

Вторник, 19 июня, 402. Начало в 12:00.

Докладчик: Navid Talebanfard (Institute of Mathematics of the Czech Academy of Sciences).

Тема: Structure in Proof Complexity: The Case of Tseitin and Tree Decompositions.

Понедельник, 21 мая, 402. Начало в 17:00.

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

Тема: Полудуплексная коммуникационная сложность.

Пятница, 4 мая, 402. Начало в 12:00.

Докладчик: Людмила Глинских.

Тема: Lower Bounds for Nondeterministic Semantic Read-Once Branching Programs.

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

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

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

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

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

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

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

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

Тема: PPZ lowerbound via entropy.

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

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

Тема: Prediction from Partial Information and Hindsight, with Application to Circuit Lower Bounds.

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

Докладчик: Иван Михайлин.

Тема: Non-uniform lower bounds from uniform hardness assumptions.

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

Докладчик: Navid Talebanfard (Saarland University and the Cluster of Excellence, MMCI).

Тема: Tighter Hard Instances for PPSZ.