Laboratory of Mathematical Logic at PDMI

Пятница, 26 ноября, PDMI & Zoom (hybrid format). Начало в 12:00.

Докладчик: Kirill Simonov (University of Bergen).

Тема: Fine-grained complexity of graph homomorphism for bounded cliquewidth.

Пятница, 29 октября, Zoom. Начало в 11:30.

Докладчик: Svyatoslav Gryaznov.

Тема: A variant of the VC-dimension with applications to depth-3 circuits.

Пятница, 8 октября, Zoom. Начало в 11:00.

Докладчик: Petr Smirnov (HSE - SPb).

Тема: Regular resolution lower bounds for Tseitin formulas via treewidth.

Пятница, 24 сентября, Zoom. Начало в 11:00.

Докладчик: Michal Garlik.

Тема: Some lower bounds for parity decision trees.

Пятница, 26 марта, ZOOM. Начало в 11:30.

Докладчик: Marc Vinyals (Technion).

Тема: The power of restarts in CDCL solvers.

Пятница, 19 февраля, Zoom. Начало в 18:00.

Докладчик: Vladimir Lysikov (University of Copenhagen).

Тема: Weighted slice rank of tensors.

Пятница, 2 октября, Zoom. Начало в 18:00.

Докладчик: Пётр Смирнов.

Тема: Квазиполиномиальные опровержения цейтинских формул в Cutting Planes.

Пятница, 25 сентября, Zoom. Начало в 18:00.

Докладчик: Alexander Golovnev (Georgetown University, USA).

Тема: Polynomial Data Structure Lower Bounds in the Group Model.

Пятница, 4 сентября, Zoom. Начало в 18:00.

Докладчик: Александр Смаль (ПОМИ).

Тема: Гипотеза XOR-KRW.

Пятница, 28 августа, Zoom. Начало в 18:00.

Докладчик: Артур Игнатьев (СПбГУ).

Тема: Новые оценки на полудуплексную коммуникационную сложность.