Search
DM Seminar
Семинар 19 декабря 2008 года
Пятница, 19 декабря, комната 106. Начало в 17:55.
Докладчик: И. Монахов.
Тема: Простое вероятностное сведение NP к ParityP.
Семинар 12 декабря 2008 года
Пятница, 12 декабря, комната 106. Начало в 17:55.
Докладчик: Г. Ярославцев.
Тема: Коммуникационная сложность и глубина схем для булевых функций.
Семинар 21 ноября 2008 года
Пятница, 21 ноября, комната 106. Начало в 17:55.
Докладчик: Д. В. Карпов.
Тема: Аналог теоремы Брукса для динамических раскрасок.
Семинар 14 ноября 2008 года
Пятница, 14 ноября, комната 106. Начало в 17:55.
Докладчик: Д. Ицыксон, К. Шмаков.
Тема: Графы большой колмогоровской сложности являются расширителями.
Семинар 24 октября 2008 года
Пятница, 24 октября, комната 106. Начало в 18:00.
Докладчик: С. Л. Берлов.
Тема: Хроматические числа слоистых графов.
Семинар 10 октября 2008 года
Пятница, 10 октября, комната 106. Начало в 18:00.
Докладчик: К. Шмаков.
Тема: "Вполне натуральные" доказательства.
Семинар 18 сентября 2008 года
Четверг, 18 сентября, комната 311. Начало в 14:00.
Докладчик: А. Шень (Москва/Марсель).
Тема: Апериодические замощения и теорема о неподвижной точке.
Семинар 9 сентября 2008 года
Вторник, 9 сентября, комната 106. Начало в 15:00.
Докладчик: Д. Ицыксон.
Тема: Системы доказательств с подсказками.
Семинар 23 мая 2008 года
Пятница, 23 мая, комната 106. Начало в 18:30.
Докладчик: В. Васильев (СПбГУ, мат-мех, 5 курс).
Тема: О (2,3)-порождении группы Sp(8,Z).
Семинар 18 апреля 2008 года
Пятница, 18 апреля, комната 106. Начало в 17:30.
Докладчик: А. Кожевников.
Тема: Нижние экспоненциальные оценки для модальных логик.
