Search
DM Seminar
Семинар 30 апреля 2004 года
Пятница, 30 апреля, комната 106. Начало в 18:00.
Докладчик: С. Федин.
Тема: Алгоритм Р.Вильямса для MAX-CSP, MAX-2-SAT, MAX-CUT,.
Семинар 23 апреля 2004 года
Пятница, 23 апреля, комната 106. Начало в 18:00.
Докладчик: А. Куликов.
Тема: Explicit Provability and Constructive Semantics.
Семинар 16 апреля 2004 года
Пятница, 16 апреля, комната 106. Начало в 18:00.
Докладчик: С. И. Николенко.
Тема: Ограниченная арифметика и резолюционные системы доказательств.
Семинар 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.
Докладчик: Д. Ицыксон.
Тема: Короткие доказательства невыполнимости случайных формул.
