DM Seminar

Discrete Mathematics 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.

Syndicate content