Laboratory of Mathematical Logic at PDMI

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

Вторник, 3 сентября, ауд. 311. Начало в 14:00.

Докладчик: Надежда Юрьевна Власова.

Тема: О стягиваемых подграфах 3-связного графа.

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

Докладчик: Людмила Циовкина (ИММ УрО РАН).

Тема: Накрытия полных графов и связанные с ними схемы отношений.

Пятница, 31 июля, Конференция Zoom. Начало в 17:00.

Докладчик: Виталий Демьянюк.

Тема: Теоретические оценки качества и сложности алгоритмов в дизайне сетевых элементов.

Пятница, 26 апреля, ауд. 106. Начало в 17:00.

Докладчик: Андрей Рыжиков (университет Пари-Эст Марн-ля-Вале, Франция).

Тема: О поиске коротких синхронизирующих слов для префиксных кодов.