RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB


Санкт-Петербургский логический семинар
ПОМИ, наб. р. Фонтанки 27, г. Санкт-Петербург

Семинар проходит по вторникам в 18:30.

Объявление

В связи с эпидемической обстановкой семинар переходит в онлайн-режим. Доклады будут проходить в формате видеоконференции в Zoom. Записи докладов будут выкладываться здесь. См. также плейлист на YouTube.

Website: https://logic.pdmi.ras.ru/seminars/logic-seminar
RSS: Ближайшие семинары

Руководитель семинара
Сперанский Станислав Олегович

Организации
Санкт-Петербургское отделение Математического института им. В. А. Стеклова Российской академии наук


Санкт-Петербургский логический семинар, г. Санкт-Петербург

30 июня 2020 г. (вт)
1. What, if anything, can be done in linear time?
Yu. Gurevich
30 июня 2020 г. 18:30, г. Санкт-Петербург, online
Yu. Gurevich
  

23 июня 2020 г. (вт)
2. Perspectives on the Universe
G. Priest
23 июня 2020 г. 18:30, г. Санкт-Петербург, online
G. Priest
  

16 июня 2020 г. (вт)
3. An Extension of Connexive Logic C
H. Wansing
16 июня 2020 г. 18:30, г. Санкт-Петербург, online
H. Wansing
  

2 июня 2020 г. (вт)
4. Модальная математика и рассуждения в условиях интервальной неопределённости
В. Я. Крейнович
2 июня 2020 г. 18:30, г. Санкт-Петербург, online
В. Я. Крейнович
  

19 мая 2020 г. (вт)
5. О $\Sigma$-определимых структурах в $\mathbb{HF} ( \mathbb{R} )$
А. С. Морозов
19 мая 2020 г. 18:30, г. Санкт-Петербург, online
А. С. Морозов
  

12 мая 2020 г. (вт)
6. О полноте трансфинитных итераций схем рефлексии
Ф. Н. Пахомов
12 мая 2020 г. 18:30, г. Санкт-Петербург, online
Ф. Н. Пахомов
  

28 апреля 2020 г. (вт)
7. Системы с явными опровержениями
С. А. Дробышевич
28 апреля 2020 г. 18:30, г. Санкт-Петербург, online
С. А. Дробышевич
  

21 апреля 2020 г. (вт)
8. Канонические расширения в логике: основные результаты и примеры использования
Д. Д. Рогозин
21 апреля 2020 г. 18:30, г. Санкт-Петербург, online
Д. Д. Рогозин
  

14 апреля 2020 г. (вт)
9. Закон дистрибутивности во фрагментах линейной и аффинной логик
С. Л. Кузнецов
14 апреля 2020 г. 18:15, г. Санкт-Петербург, online
С. Л. Кузнецов
  
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020