RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB


St. Petersburg Logic seminar
Steklov Institute of Mathematics at St.Petersburg 27 Fontanka, St. Petersburg

The seminar takes place on Tuesdays at 18:30.

Announcement

Due to the COVID-19 pandemic, the seminar has switched to the online format. All talks are presented via Zoom.

Cf. also the YouTube playlist.

Website: https://logic.pdmi.ras.ru/seminars/logic-seminar
RSS: Forthcoming seminars

Seminar Chair
Speranski Stanislav Olegovich

Organizations
St. Petersburg Department of Steklov Mathematical Institute of Russian Academy of Sciences


St. Petersburg Logic seminar, St. Petersburg

June 30, 2020 (Tue)
1. What, if anything, can be done in linear time?
Yu. Gurevich
June 30, 2020 18:30, St. Petersburg, online
Yu. Gurevich
  

June 23, 2020 (Tue)
2. Perspectives on the Universe
G. Priest
June 23, 2020 18:30, St. Petersburg, online
G. Priest
  

June 16, 2020 (Tue)
3. An Extension of Connexive Logic C
H. Wansing
June 16, 2020 18:30, St. Petersburg, online
H. Wansing
  

June 2, 2020 (Tue)
4. Модальная математика и рассуждения в условиях интервальной неопределённости
V. Ya. Kreinovich
June 2, 2020 18:30, St. Petersburg, online
V. Ya. Kreinovich
  

May 19, 2020 (Tue)
5. О $\Sigma$-определимых структурах в $\mathbb{HF} ( \mathbb{R} )$
A. S. Morozov
May 19, 2020 18:30, St. Petersburg, online
A. S. Morozov
  

May 12, 2020 (Tue)
6. О полноте трансфинитных итераций схем рефлексии
F. N. Pakhomov
May 12, 2020 18:30, St. Petersburg, online
F. N. Pakhomov
  

April 28, 2020 (Tue)
7. Системы с явными опровержениями
S. A. Drobyshevich
April 28, 2020 18:30, St. Petersburg, online
S. A. Drobyshevich
  

April 21, 2020 (Tue)
8. Канонические расширения в логике: основные результаты и примеры использования
D. Rogozin
April 21, 2020 18:30, St. Petersburg, online
D. Rogozin
  

April 14, 2020 (Tue)
9. Закон дистрибутивности во фрагментах линейной и аффинной логик
S. L. Kuznetsov
April 14, 2020 18:15, St. Petersburg, online
S. L. Kuznetsov
  
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020