Пятница, 7 декабря, ПОМИ РАН, ауд. 106. Начало в 14:00.
Докладчик: С.Л. Кузнецов (Математический институт им. В.А. Стеклова РАН).
Тема: Звёздочка Клини в структурах с делениями.
Понедельник, 26 ноября, ПОМИ РАН, ауд. 106. Начало в 14:00.
Докладчик: А.В. Родин (Институт философии РАН).
Тема: Конструктивный аксиоматический метод и унивалентные основания математики.
Четверг, 6 сентября, ауд. 106. Начало в 11:30.
Докладчик: Владимир Лифшиц (University of Texas at Austin).
Тема: Стабильные модели формул исчисления высказываний.
Пятница, 25 мая, 203. Начало в 15:00.
Докладчик: В.П. Оревков.
Тема: Структура секвенций в интуиционистских доказательствах в исчислении предикатов.
Понедельник, 15 января, ауд. 106. Начало в 14:00.
Докладчик: А.С. Герасимов.
Тема: Рациональная логика Павелки первого порядка: бесповторное гиперсеквенциальное исчисление и алгоритмы поиска вывода.
Четверг, 23 ноября, Институт философии СПбГУ (располагается по адресу: Менделеевская линия, дом 5), ауд. 27 (правая лестница, второй этаж). Начало в 17:20.
Докладчик: С.О. Сперанский.
Тема: О теории истины по Крипке.
Пятница, 31 марта, ауд. 203. Начало в 17:15.
Докладчик: С.О. Сперанский (СПбГУ).
Тема: О сложности «элементарных» теорий различных классов вероятностных пространств.
Понедельник, 21 ноября, ауд. 106. Начало в 14:00.
Докладчик: В.П. Оревков (ПОМИ РАН).
Тема: Обратный метод для классического и интуиционистского исчислений предикатов.
Понедельник, 7 ноября, ауд. 106. Начало в 14:00.
Докладчик: В.А. Павлов (СПбПУ).
Тема: Автоматический логический вывод в интуиционистских логических исчислениях обратным методом Маслова.
Четверг, 14 июля, ПОМИ. Начало в 14:00.
Докладчик: Zlatan Damnjanovic (University of Southern California, Dornsife).
Тема: Concatenation theory: a new framework for formalist foundations of mathematics.