Конференции
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  


Logical Perspectives 2021: Conference
(7–11 июня 2021 г., Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, г. Москва)

The Logical Perspectives conference series aims at bringing together distinguished logicians in order to present their perspectives on the future of the field, to discuss related open problems, and to foster new collaborations. Among the key topics are:

  • logical methods in mathematics;
  • logical methods in philosophy;
  • logical methods in computer science.
It should be noted that the programme of LP 2021 Conference will comprise only invited talks, some of which will be accessible to a broader audience, intended for students working in logic and those who wish to know more about the field.

Furthermore, LP 2021 Conference is a part of the broader thematic programme including the following events:

Among the other logic-related events that will take place in Russia during this period are:

Финансовая поддержка. Конференция проводится при финансовой поддержке Минобрнауки России (грант на создание и развитие МЦМУ МИАН, соглашение № 075-15-2019-1614) и Фонда Саймонса.

Website: http://lp2021.mi-ras.ru/conference.html

Постер

Доклады

RSS:

Программный комитет
Беклемишев Лев Дмитриевич
Сперанский Станислав Олегович

Организационный комитет
Беклемишев Лев Дмитриевич
Кузнецов Степан Львович
Сперанский Станислав Олегович

Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
Математический центр мирового уровня «Математический институт им. В.А. Стеклова Российской академии наук» (МЦМУ МИАН)


Logical Perspectives 2021: Conference, г. Москва, 7–11 июня 2021 г.

7 июня 2021 г. (пн)
1. Löb's principle for pair theories
A. Visser
7 июня 2021 г. 16:00–17:10, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online
A. Visser
  
2. Hyperstationary sets
J. Bagaria
7 июня 2021 г. 17:30–18:40, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online
J. Bagaria
  
3. Adventures beyond possible worlds
W. H. Holliday
7 июня 2021 г. 19:00–20:10, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online
W. H. Holliday
  

8 июня 2021 г. (вт)
4. Полурешётки Лахлана и полурешётки Роджерса
Ю. Л. Ершов
8 июня 2021 г. 15:00–16:10, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online
Ю. Л. Ершов
  
5. Definability in the Turing degree structures
M. M. Arslanov
8 июня 2021 г. 17:30–18:40, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online
M. M. Arslanov
  
6. Automorphism groups of homogeneous structures
K. Tent
8 июня 2021 г. 19:00–20:10, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online
K. Tent
  

9 июня 2021 г. (ср)
7. Reasoning about epistemic superiority
S. Smets
9 июня 2021 г. 16:00–17:10, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online
S. Smets
  
8. On reflexive subjective probability
L. Horsten
9 июня 2021 г. 17:30–18:40, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online
L. Horsten
  
9. Potentialism and critical plural logic
Ø. Linnebo
9 июня 2021 г. 19:00–20:10, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online
Ø. Linnebo
  

10 июня 2021 г. (чт)
10. Applications of proof theory to core mathematics: Recent developments
U. Kohlenbach
10 июня 2021 г. 16:00–17:10, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online
U. Kohlenbach
  
11. Strict $\Pi^1_1$-reflection: A proof-theoretic perspective
G. Jäger
10 июня 2021 г. 17:30–18:40, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online
G. Jäger
  
12. Adventures in Lambek calculus
A. Scedrov
10 июня 2021 г. 19:00–20:10, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online
A. Scedrov
  

11 июня 2021 г. (пт)
13. Relating structure and power: a junction between categorical semantics, model theory and descriptive complexity
S. Abramsky
11 июня 2021 г. 16:00–17:10, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online
S. Abramsky
  
14. Symmetric properties and Boolean complexity
A. Urquhart
11 июня 2021 г. 17:30–18:40, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online
A. Urquhart
  
15. Comparing $\Pi^1_2$-problems in computability theory and reverse mathematics
D. R. Hirschfeldt
11 июня 2021 г. 19:00–20:10, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online
D. R. Hirschfeldt
  
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021