Search
DM Seminar
Семинар 9 апреля 2004 года
Пятница, 9 апреля, комната 106. Начало в 18:00.
Докладчик: Ф. Фомин (Берген, Норвегия).
Тема: Exact (exponential) algorithm for treewidth.
Семинар 30 марта 2004 года
Вторник, 30 марта, комната 106. Начало в 12:00.
Докладчик: John OLeary (Intel Corporation).
Тема: 1. Reflective Functional Languages and Theorem Proving. 2. Floating Point Circuit Verification.
Семинар 26 марта 2004 года
Пятница, 26 марта, комната 106. Начало в 18:00.
Докладчик: Ю. Лифшиц.
Тема: Secure Function Evaluation.
Семинар 19 марта 2004 года
Пятница, 19 марта, комната 106. Начало в 19:00.
Докладчик: Д. Ицыксон.
Тема: Линейные верхние оценки времени работы алгоритма локального поиска для случайных 3-SAT с небольшим количеством дизъюнкций.
Семинар 5 марта 2004 года
Пятница, 5 марта, комната 106. Начало в 18:00.
Докладчик: В. Б. Балакирский.
Тема: О перечислении подпоследовательностей двоичных последовательностей.
Семинар 26 декабря 2003 года
Пятница, 26 декабря, комната 106. Начало в 16:45.
Докладчик: Э. А. Гирш.
Тема: Покрывающие коды с дополнительными условиями.
Семинар 5 декабря 2003 года
Пятница, 5 декабря, комната 106. Начало в 19:00.
Докладчик: Д. Ицыксон.
Тема: Короткие доказательства невыполнимости случайных формул.
Семинар 5 декабря 2003 года
Пятница, 5 декабря, комната 106. Начало в 19:00.
Докладчик: А. Бовыкин.
Тема: Обзор результатов о недоказуемости.
Семинар 28 ноября 2003 года
Пятница, 28 ноября, комната 106. Начало в 19:00.
Докладчик: Л. Мелещук.
Тема: Finding Favorites.
Семинар 21 ноября 2003 года
Пятница, 21 ноября, комната 106. Начало в 19:00.
Докладчик: В. Моргенштерн.
Тема: Стандартные классы, обладающие свойством конечной модели.
