Latest seminars

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

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

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

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

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

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

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

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

Вторник 19.05. А.С. Морозов: "О $\Sigma$-определимых структурах в HF(R)"

Вторник, 19 мая, Zoom. Начало в 18:30.

Докладчик: А.С. Морозов (Институт математики им. С.Л. Соболева СО РАН).

Тема: О $ \Sigma $-определимых структурах в HF(R).