Пятница, 9 декабря, ауд. 311. Начало в 16:00.
Докладчик: Galina Jiraskova (Mathematical Institute Slovak Academy of Sciences).
Тема: Self-Verifying Finite Automata.
Пятница, 18 ноября, ауд. 203. Начало в 17:15.
Докладчик: Д.М. Ицыксон, А.А. Кноп.
Тема: Миникурс по сложности пропозициональных доказательств. Лекция 2.
Пятница, 11 ноября, ауд. 203. Начало в 17:15.
Докладчик: Ицыксон Д.М. (ПОМИ РАН).
Тема: Миникурс по сложности пропозициональных доказательств. Ширина и размер резолюционных доказательств..
Понедельник, 7 ноября, ауд. 106. Начало в 14:00.
Докладчик: Павлов В.А. (СПбПУ).
Тема: Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова.
Понедельник, 31 октября, ауд. 106. Начало в 14:00.
Докладчик: Светлана Пузынина.
Тема: О теоретико-групповом обобщении теоремы Морса и Хедлунда.
Понедельник, 17 октября, ауд. 106. Начало в 14:00.
Докладчик: Krzysztof Sornat (University of Wroclaw).
Тема: Approximation and Parameterized Complexity of Minimax Approval Voting.
Пятница, 14 октября, ауд. 311. Начало в 15:00.
Докладчик: Juhani Karhumaki (University of Turku).
Тема: REACHABILITY VIA COOPERATING MORPHISMS.
Пятница, 30 сентября, ауд. 203. Начало в 17:20.
Докладчик: Александр Тискин (University of Warwick).
Тема: Задача о наибольшей общей подпоследовательности: суперклей из водорослей.
Пятница, 23 сентября, ауд. 203. Начало в 17:20.
Докладчик: И. Н. Пономаренко (ПОМИ РАН).
Тема: Квазиполиномиальный алгоритм Л.Бабаи для проверки изоморфизма графов. Краткое введение.
Пятница, 2 сентября, ауд. 106. Начало в 17:00.
Докладчик: Jarkko Kari (University of Turku).
Тема: On the periodicity of multidimensional words of low complexity.