Laboratory of Mathematical Logic - Complexity Seminar

Пятница 26.11. Kirill Simonov: "Fine-grained complexity of graph homomorphism for bounded cliquewidth"

seminars — Mon, 22 Nov 2021 16:42:27 +0000

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

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

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

Пятница 29.10. Svyatoslav Gryaznov: "A variant of the VC-dimension with applications to depth-3 circuits"

seminars — Sat, 23 Oct 2021 14:55:49 +0000

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

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

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

Пятница 08.10. Petr Smirnov: "Regular resolution lower bounds for Tseitin formulas via treewidth"

seminars — Mon, 04 Oct 2021 08:45:45 +0000

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

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

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

Пятница 24.09. Michal Garlik: "Some lower bounds for parity decision trees"

seminars — Sun, 19 Sep 2021 11:12:40 +0000

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

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

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

Пятница 26.03. Marc Vinyals: "The power of restarts in CDCL solvers"

seminars — Tue, 23 Mar 2021 15:01:53 +0000

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

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

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

Пятница 19.02. Vladimir Lysikov: "Weighted slice rank of tensors"

seminars — Sun, 14 Feb 2021 15:00:56 +0000

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

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

Тема: Weighted slice rank of tensors.

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

seminars — Tue, 29 Sep 2020 08:06:04 +0000

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

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

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

Пятница 25.09. Alexander Golovnev: "Polynomial Data Structure Lower Bounds in the Group Model"

seminars — Mon, 21 Sep 2020 00:02:45 +0000

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

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

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

Пятница 04.09. Александр Смаль: "Гипотеза XOR-KRW"

seminars — Fri, 28 Aug 2020 16:44:54 +0000

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

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

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

Пятница 28.08. Артур Игнатьев: "Новые оценки на полудуплексную коммуникационную сложность"

seminars — Sat, 22 Aug 2020 22:54:30 +0000

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

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

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