Search
DM Seminar
Пятница 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.
Докладчик: Светлана Пузынина.
Тема: О теоретико-групповом обобщении теоремы Морса и Хедлунда.
Понедельник 17.10. Krzysztof Sornat: "Approximation and Parameterized Complexity of Minimax Approval Voting"
Понедельник, 17 октября, ауд. 106. Начало в 14:00.
Докладчик: Krzysztof Sornat (University of Wroclaw).
Тема: Approximation and Parameterized Complexity of Minimax Approval Voting.
Пятница 14.10. Juhani Karhumaki: "REACHABILITY VIA COOPERATING MORPHISMS"
Пятница, 14 октября, ауд. 311. Начало в 15:00.
Докладчик: Juhani Karhumaki (University of Turku).
Тема: REACHABILITY VIA COOPERATING MORPHISMS.
Пятница 30 сентября, 17-20, ауд. 203
Пятница, 30 сентября, ауд. 203. Начало в 17:20.
Докладчик: Александр Тискин (University of Warwick).
Тема: Задача о наибольшей общей подпоследовательности: суперклей из водорослей.
Пятница 23 сентября, 17-20, ауд. 203
Пятница, 23 сентября, ауд. 203. Начало в 17:20.
Докладчик: И. Н. Пономаренко (ПОМИ РАН).
Тема: Квазиполиномиальный алгоритм Л.Бабаи для проверки изоморфизма графов. Краткое введение.
Пятница 2 сентября, 17-00, ауд. 106
Пятница, 2 сентября, ауд. 106. Начало в 17:00.
Докладчик: Jarkko Kari (University of Turku).
Тема: On the periodicity of multidimensional words of low complexity.
