Search
DM Seminar
Семинар 26 сентября 2003 года
Пятница, 26 сентября, комната 106. Начало в 19:00.
Докладчик: А. Куликов.
Тема: Системы доказательств, использующие кэширование формул (продолжение).
Семинар 19 сентября 2003 года
Пятница, 19 сентября, комната 106. Начало в 19:00.
Докладчик: А. Куликов.
Тема: Системы доказательств, использующие кэширование формул.
Семинар 20 июня 2003 года
Пятница, 20 июня, комната 106. Начало в 16:00.
Докладчик: В. Н. Баргачёв (СПбГУ).
Тема: Эффективная конструкция множества перестановок, независимых по 4 относительно минимума.
Семинар 16 июня 2003 года
Понедельник, 16 июня, комната 203. Начало в 14:30.
Докладчик: А. Бовыкин.
Тема: ТРИ СКАЗКИ ОБ АРИФМЕТИКЕ (предположительное название).
Семинар 6 июня 2003 года
Пятница, 6 июня, комната 106. Начало в 16:00.
Докладчик: И. Н. Пономаренко.
Тема: Распознавание и проверка изоморфизма циркулянтных графов за полиномиальное время.
Семинар 23 мая 2003 года
Пятница, 23 мая, комната 106. Начало в 16:00.
Докладчик: Д. В. Карпов.
Тема: Структура разбиения 
-связного графа.
Семинар 16 мая 2003 года
Пятница, 16 мая, комната 106. Начало в 16:00.
Докладчик: Peter Zvengrowski (University of Calgary).
Тема: Relations Between the Colouring of Graphs and Homotopy Theory.
Семинар 28 апреля 2003 года
Понедельник, 28 апреля, комната 203. Начало в 16:00.
Докладчик: Э. А. Гирш.
Тема: Новости о пропозициональной выполнимости.
Семинар 28 марта 2003 года
Пятница, 28 марта, комната 106. Начало в 18:00.
Докладчик: Е. А. Крук (ГУАП).
Тема: Коды и криптография с открытым ключом.
Семинар 14 марта 2003 года
Пятница, 14 марта, комната 106. Начало в 16:00.
Докладчик: С. Николенко, А. Сироткин.
Тема: Автоматические доказательства верхних оценок для DPLL-подобных алгоритмов.
