Complexity Seminar

Seminar on Complexity Theory

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

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

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

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

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

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

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

Тема: Weighted slice rank of tensors.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Пятница 07.08. Ярослав Алексеев: "Нижняя оценка для обобщения системы PC и моделирование системы Res-Lin"

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

Докладчик: Ярослав Алексеев (СПбГУ).

Тема: Нижняя оценка для обобщения системы PC и моделирование системы Res-Lin.

Пятница 05.06. Дмитрий Соколов: "Нижние оценки на систему AC_0-Frege"

Пятница, 5 июня, Zoom. Начало в 16:00.

Докладчик: Дмитрий Соколов (СПбГУ, ПОМИ).

Тема: Нижние оценки на систему AC_0-Frege.

Пятница 29.05. Артур Рязанов: "Нижние оценки на коммуникационную сложность задач поиска с гаджетом четности и без гаджета"

Пятница, 29 мая, Zoom. Начало в 18:10.

Докладчик: Артур Рязанов (ПОМИ РАН).

Тема: Нижние оценки на коммуникационную сложность задач поиска с гаджетом четности и без гаджета.

Пятница 22.05. Артур Рязанов: "Применение критерия Юкны для нижних оценок в системе доказательств Cutting Planes"

Пятница, 22 мая, Zoom. Начало в 18:10.

Докладчик: Артур Рязанов (ПОМИ РАН).

Тема: Применение критерия Юкны для нижних оценок в системе доказательств Cutting Planes.

Syndicate content