Search
DM Seminar
Понедельник 17.04. А.Е. Ромащенко: "О геометрических и комбинаторных интерпретациях условных информационных неравенств"
Понедельник, 17 апреля, Мраморный зал. Начало в 17:00.
Докладчик: А.Е. Ромащенко (LIRMM).
Тема: О геометрических и комбинаторных интерпретациях условных информационных неравенств.
Пятница 31.03. Станислав Сперанский: "О сложности «элементарных» теорий различных классов вероятностных пространств"
Пятница, 31 марта, ауд. 203. Начало в 17:15.
Докладчик: Станислав Сперанский (СПбГУ).
Тема: О сложности «элементарных» теорий различных классов вероятностных пространств.
Вторник 21.03. Reinhard Diestel: "Tangles and the Mona Lisa: connectivity versus tree structure"
Вторник, 21 марта, ауд. 203. Начало в 14:00.
Докладчик: Reinhard Diestel.
Тема: Tangles and the Mona Lisa: connectivity versus tree structure.
Пятница 17.03. Александр Рыбалов: "Генерический подход к алгоритмическим проблемам"
Пятница, 17 марта, ауд. 203. Начало в 17:15.
Докладчик: Александр Рыбалов.
Тема: Генерический подход к алгоритмическим проблемам.
Понедельник 06.02. Федор Сандомирский: "Задачи распределения ресурсов и их алгоритмические свойства"
Понедельник, 6 февраля, ауд. 106. Начало в 14:00.
Докладчик: Федор Сандомирский (НИУ ВШЭ, лаб. Теории Игр).
Тема: Задачи распределения ресурсов и их алгоритмические свойства.
Пятница 09.12. Galina Jiraskova: " Self-Verifying Finite Automata"
Пятница, 9 декабря, ауд. 311. Начало в 16:00.
Докладчик: Galina Jiraskova (Mathematical Institute Slovak Academy of Sciences).
Тема: Self-Verifying Finite Automata.
Пятница 18.11. Д.М. Ицыксон, А.А. Кноп: "Миникурс по сложности пропозициональных доказательств. Лекция 2"
Пятница, 18 ноября, ауд. 203. Начало в 17:15.
Докладчик: Д.М. Ицыксон, А.А. Кноп.
Тема: Миникурс по сложности пропозициональных доказательств. Лекция 2.
Пятница 11.11. Ицыксон Д.М.: "Миникурс по сложности пропозициональных доказательств. Ширина и размер резолюционных доказательств."
Пятница, 11 ноября, ауд. 203. Начало в 17:15.
Докладчик: Ицыксон Д.М. (ПОМИ РАН).
Тема: Миникурс по сложности пропозициональных доказательств. Ширина и размер резолюционных доказательств..
Понедельник 07.11. Павлов В.А.: "Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова"
Понедельник, 7 ноября, ауд. 106. Начало в 14:00.
Докладчик: Павлов В.А. (СПбПУ).
Тема: Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова.
Понедельник 31.10. Светлана Пузынина: "О теоретико-групповом обобщении теоремы Морса и Хедлунда"
Понедельник, 31 октября, ауд. 106. Начало в 14:00.
Докладчик: Светлана Пузынина.
Тема: О теоретико-групповом обобщении теоремы Морса и Хедлунда.
