Laboratory of Mathematical Logic at PDMI

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

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

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

Пятница, 19 апреля, ауд. 106. Начало в 16:30.

Докладчик: Виктор Лопаткин.

Тема: Двудольные графы как полиномы и полиномы как двудольные графы.

Понедельник, 10 декабря, 106. Начало в 14:30.

Докладчик: А.Х. Шень (LIRMM, ИППИ РАН).

Тема: Три подхода к определению понятия количества информации: увеличение сложности при случайном шуме.