Latest seminars

Понедельник 05.12. Н. Карпов: "Решение задачи 3-SUM с малой памятью и с малой глубиной дерева"

Понедельник, 5 декабря, 106. Начало в 14:00.

Докладчик: Н. Карпов.

Тема: Решение задачи 3-SUM с малой памятью и с малой глубиной дерева.

Понедельник 21.11. В.П. Оревков: "Обратный метод для классического и интуиционистского исчислений предикатов"

Понедельник, 21 ноября, ауд. 106. Начало в 14:00.

Докладчик: В.П. Оревков (ПОМИ РАН).

Тема: Обратный метод для классического и интуиционистского исчислений предикатов.

Пятница 18.11. Д.М. Ицыксон, А.А. Кноп: "Миникурс по сложности пропозициональных доказательств. Лекция 2"

Пятница, 18 ноября, ауд. 203. Начало в 17:15.

Докладчик: Д.М. Ицыксон, А.А. Кноп.

Тема: Миникурс по сложности пропозициональных доказательств. Лекция 2.

Пятница 18.11. Д.М. Ицыксон, А.А. Кноп: "Миникурс по сложности пропозициональных доказательств. Лекция 2"

Пятница, 18 ноября, ауд. 203. Начало в 17:15.

Докладчик: Д.М. Ицыксон, А.А. Кноп.

Тема: Миникурс по сложности пропозициональных доказательств. Лекция 2.

Четверг 17.11. Д.Ю. Григорьев: "О сложности вычисления симметрических функций"

Четверг, 17 ноября, ПОМИ. Начало в 14:00.

Докладчик: Д.Ю. Григорьев.

Тема: О сложности вычисления симметрических функций.

Пятница 11.11. Ицыксон Д.М.: "Миникурс по сложности пропозициональных доказательств. Ширина и размер резолюционных доказательств."

Пятница, 11 ноября, ауд. 203. Начало в 17:15.

Докладчик: Ицыксон Д.М. (ПОМИ РАН).

Тема: Миникурс по сложности пропозициональных доказательств. Ширина и размер резолюционных доказательств..

Пятница 11.11. Ицыксон Д.М.: "Миникурс по сложности пропозициональных доказательств. Ширина и размер резолюционных доказательств."

Пятница, 11 ноября, ауд. 203. Начало в 17:15.

Докладчик: Ицыксон Д.М. (ПОМИ РАН).

Тема: Миникурс по сложности пропозициональных доказательств. Ширина и размер резолюционных доказательств..

Понедельник 07.11. Павлов В.А.: "Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова"

Понедельник, 7 ноября, ауд. 106. Начало в 14:00.

Докладчик: Павлов В.А. (СПбПУ).

Тема: Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова.

Понедельник 07.11. Павлов В.А.: "Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова"

Понедельник, 7 ноября, ауд. 106. Начало в 14:00.

Докладчик: Павлов В.А. (СПбПУ).

Тема: Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова.

Понедельник 31.10. Светлана Пузынина: "О теоретико-групповом обобщении теоремы Морса и Хедлунда"

Понедельник, 31 октября, ауд. 106. Начало в 14:00.

Докладчик: Светлана Пузынина.

Тема: О теоретико-групповом обобщении теоремы Морса и Хедлунда.