Laboratory of Mathematical Logic at PDMI

Вторник, 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.