Conferences
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  


Logical Perspectives 2021: Conference
(June 7–11, 2021, Steklov Mathematical Institute, 8 Gubkina St., Moscow)

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:

Financial support. The conference is supported by the Simons Foundation and the Ministry of Science and Higher Education of the Russian Federation (the grant to the Steklov International Mathematical Center, agreement no. 075-15-2019-1614).

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

Рoster

Abstracts

RSS:

Program Committee
Lev Beklemishev
Stanislav Speranski

Organizing Committee
Lev Beklemishev
Stepan Kuznetsov
Stanislav Speranski

Institutions
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
Steklov International Mathematical Center


Logical Perspectives 2021: Conference, Moscow, June 7–11, 2021

June 7, 2021 (Mon)
1. Löb's principle for pair theories
A. Visser
June 7, 2021 16:00–17:10, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online
A. Visser
  
2. Hyperstationary sets
J. Bagaria
June 7, 2021 17:30–18:40, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online
J. Bagaria
  
3. Adventures beyond possible worlds
W. H. Holliday
June 7, 2021 19:00–20:10, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online
W. H. Holliday
  

June 8, 2021 (Tue)
4. Rogers semilattices and Lachlan semilattices
Yu. L. Ershov
June 8, 2021 15:00–16:10, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online
Yu. L. Ershov
  
5. Definability in the Turing degree structures
M. M. Arslanov
June 8, 2021 17:30–18:40, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online
M. M. Arslanov
  
6. Automorphism groups of homogeneous structures
K. Tent
June 8, 2021 19:00–20:10, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online
K. Tent
  

June 9, 2021 (Wed)
7. Reasoning about epistemic superiority
S. Smets
June 9, 2021 16:00–17:10, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online
S. Smets
  
8. On reflexive subjective probability
L. Horsten
June 9, 2021 17:30–18:40, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online
L. Horsten
  
9. Potentialism and critical plural logic
Ø. Linnebo
June 9, 2021 19:00–20:10, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online
Ø. Linnebo
  

June 10, 2021 (Thu)
10. Applications of proof theory to core mathematics: Recent developments
U. Kohlenbach
June 10, 2021 16:00–17:10, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online
U. Kohlenbach
  
11. Strict $\Pi^1_1$-reflection: A proof-theoretic perspective
G. Jäger
June 10, 2021 17:30–18:40, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online
G. Jäger
  
12. Adventures in Lambek calculus
A. Scedrov
June 10, 2021 19:00–20:10, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online
A. Scedrov
  

June 11, 2021 (Fri)
13. Relating structure and power: a junction between categorical semantics, model theory and descriptive complexity
S. Abramsky
June 11, 2021 16:00–17:10, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online
S. Abramsky
  
14. Symmetric properties and Boolean complexity
A. Urquhart
June 11, 2021 17:30–18:40, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online
A. Urquhart
  
15. Comparing $\Pi^1_2$-problems in computability theory and reverse mathematics
D. R. Hirschfeldt
June 11, 2021 19:00–20:10, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online
D. R. Hirschfeldt
  
 
Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2021