Пятница, 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.
Докладчик: Артур Игнатьев (СПбГУ).
Тема: Новые оценки на полудуплексную коммуникационную сложность.