Вторник, 19 ноября, Zoom. Начало в 15:00.
Докладчик: Д.В. Карпов (ПОМИ).
Тема: О изображении на плоскости и правильных раскрасках вершин k-планарных графов.
Вторник, 19 ноября, Zoom. Начало в 14:00.
Докладчик: Ю. В. Матиясевич (ПОМИ).
Тема: Поиск полиномиальных зависимостей между значениями знакопеременной дзета-функции и её производных.
Вторник, 5 ноября, Zoom. Начало в 15:00.
Докладчик: Я. В. Благушин (ПОМИ).
Тема: О некоторых конечных рядах Дирихле с "обратными" тригонометрическими функциями.
Вторник, 5 ноября, Zoom. Начало в 14:00.
Докладчик: В.П. Оревков (ПОМИ).
Тема: Преобразование классических доказательств в интуиционистские.
Вторник, 22 октября, Zoom. Начало в 15:00.
Докладчик: С.И. Николенко (ПОМИ).
Тема: Большие языковые модели, рекомендательные системы и информационный поиск: обзор результатов 2024 года.
Вторник, 22 октября, Zoom. Начало в 14:00.
Докладчик: Н.Н. Воробьёв (ПОМИ).
Тема: Триангуляция кляксы.
Вторник, 8 октября, Zoom. Начало в 15:00.
Докладчик: И.Н. Пономаренко (ПОМИ).
Тема: Вокруг проблемы изоморфизма.
Вторник, 8 октября, Zoom. Начало в 14:00.
Докладчик: Д.М. Ицыксон (ПОМИ).
Тема: Нижние оценки для регулярных резолюций над линейными уравнениями.
Вторник, 17 сентября, Zoom. Начало в 15:00.
Докладчик: А.В. Смаль.
Тема: Lifting Dichotomies.
Вторник, 17 сентября, Zoom . Начало в 14:00.
Докладчик: А.С. Куликов (ПОМИ).
Тема: Polynomial formulations as a barrier for reduction-based hardness proofs.