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


Logical Perspectives 2021: Summer School and Workshop
(June 14–19, 2021, Steklov Mathematical Institute, 8 Gubkina St., Moscow)

The Logical Perspectives Summer School and Workshop Series aims at giving advanced introductions into various branches of logic, and providing researchers — including early career scientists — an opportunity to present their work. In particular, LP 2021 SSW will be concerned with computational proof theory, broadly understood. More precisely, the programme will comprise three mini-courses on different aspects of computational proof theory, and also a number of contributed talks.

It should be noted that LP 2021 Summer School and Workshop 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:

The Zoom broadcast link will be sent to the registered participants only. To register, please visit http://lp2021.mi-ras.ru/participation.html.

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/workshop.html

Рoster

Abstracts

RSS:

Program Committee
Matthias Baaz
Lev Beklemishev
Andre Scedrov
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: Summer School and Workshop, Moscow, June 14–19, 2021

June 14, 2021 (Mon)

Logical Perspectives 2021 Summer School
1. Term Rewriting: Basic Concepts, Tools, and Applications. Lecture 1
S. Winkler
June 14, 2021 11:00–12:30, Logical Perspectives 2021 Summer School, Moscow, online
S. Winkler
  
2. First-Order Theorem Proving and Vampire. Lecture 1
L. Kovács
June 14, 2021 13:00–14:30, Logical Perspectives 2021 Summer School, Moscow, online
L. Kovács
  
3. Proof Complexity. Lecture 1
A. A. Razborov
June 14, 2021 15:30–17:00, Logical Perspectives 2021 Summer School, Moscow, online
A. A. Razborov
  

June 15, 2021 (Tue)
4. Term Rewriting: Basic Concepts, Tools, and Applications. Lecture 2
S. Winkler
June 15, 2021 11:00–12:30, Logical Perspectives 2021 Summer School, Moscow, online
S. Winkler
  
5. First-Order Theorem Proving and Vampire. Lecture 2
L. Kovács
June 15, 2021 13:00–14:30, Logical Perspectives 2021 Summer School, Moscow, online
L. Kovács
  
6. Proof Complexity. Lecture 2
A. A. Razborov
June 15, 2021 15:30–17:00, Logical Perspectives 2021 Summer School, Moscow, Steklov Mathematical Institute, Conference hall + online
  

June 16, 2021 (Wed)
7. Term Rewriting: Basic Concepts, Tools, and Applications. Lecture 3
S. Winkler
June 16, 2021 11:00–12:30, Logical Perspectives 2021 Summer School, Moscow, online
  
8. First-Order Theorem Proving and Vampire. Lecture 3
L. Kovács
June 16, 2021 13:00–14:30, Logical Perspectives 2021 Summer School, Moscow, online
  
9. Proof Complexity. Lecture 3
A. A. Razborov
June 16, 2021 15:30–17:00, Logical Perspectives 2021 Summer School, Moscow, Steklov Mathematical Institute, Conference hall + online
  

June 17, 2021 (Thu)

Logical Perspectives 2021 Workshop
10. On a possibility of finite characterizations for Kripke complete non-recursively axiomatizable superintuitionistic predicate logics
D. P. Skvortsov
June 17, 2021 10:30–11:00, Logical Perspectives 2021 Workshop, Moscow, Steklov Mathematical Institute, Room 104 + online
  
11. A joint logic of problems and propositions
A. A. Onoprienko
June 17, 2021 11:00–11:30, Logical Perspectives 2021 Workshop, Moscow, Steklov Mathematical Institute, Room 104 + online
  
12. Presburger arithmetic and Visser's conjecture
A. A. Zapryagaev
June 17, 2021 12:00–12:30, Logical Perspectives 2021 Workshop, Moscow, Steklov Mathematical Institute, Room 104 + online
  
13. Platform-independent model of fix-point arithmetic for verification of the standard mathematical functions
N. V. Shilov, D. A. Kondrat'ev
June 17, 2021 12:30–13:00, Logical Perspectives 2021 Workshop, Moscow, Steklov Mathematical Institute, Room 104 + online
  
14. Computer-assisted proofs and mathematical understanding: The case of univalent foundations
A. Rodin
June 17, 2021 16:00–16:30, Logical Perspectives 2021 Workshop, Moscow, Steklov Mathematical Institute, Room 104 + online
  
15. Set theory in the MathSem program
A. Luxemburg
June 17, 2021 16:30–17:00, Logical Perspectives 2021 Workshop, Moscow, Steklov Mathematical Institute, Room 104 + online
  

June 18, 2021 (Fri)
16. Gentzenizing $R$
M. Ilić
June 18, 2021 10:30–11:00, Logical Perspectives 2021 Workshop, Moscow, Steklov Mathematical Institute, Room 104 + online
  
17. Exactly true and non-falsity versions of Deutsch's logic
A. Belikov, Ya. I. Petrukhin
June 18, 2021 11:00–11:30, Logical Perspectives 2021 Workshop, Moscow, Steklov Mathematical Institute, Room 104 + online
  
18. The distributive full Lambek calculus with modal operators
D. Rogozin
June 18, 2021 12:00–12:30, Logical Perspectives 2021 Workshop, Moscow, Steklov Mathematical Institute, Room 104 + online
  
19. Infinitary action logic with exponentiation
S. L. Kuznetsov, S. O. Speranski
June 18, 2021 12:30–13:00, Logical Perspectives 2021 Workshop, Moscow, Steklov Mathematical Institute, Room 104 + online
  
20. Towards capturing PTIME with no counting construct (but with a version of Hilbert's choice operator epsilon)
E. Ternovska
June 18, 2021 13:00–13:30, Logical Perspectives 2021 Workshop, Moscow, Steklov Mathematical Institute, Room 104 + online
  
21. On globally sound analytic calculi for quantifier macros
A. Lolic
June 18, 2021 16:00–16:30, Logical Perspectives 2021 Workshop, Moscow, online
  
22. Arithmetical applications of Baaz's generalization method
L. Sauras-Altuzarra
June 18, 2021 16:30–17:00, Logical Perspectives 2021 Workshop, Moscow, online
  
23. The number of axioms
J. Bydžovský, J. P. Aguilera, M. Baaz
June 18, 2021 17:00–17:30, Logical Perspectives 2021 Workshop, Moscow, online
  

June 19, 2021 (Sat)
24. Boxing modal logics
V. B. Shehtman
June 19, 2021 10:30–11:00, Logical Perspectives 2021 Workshop, Moscow, online
  
25. On relationship between complexity function and complexity of validity in propositional modal logic
D. Shkatov, M. N. Rybakov
June 19, 2021 11:00–11:30, Logical Perspectives 2021 Workshop, Moscow, online
  
26. On multilattice counterparts of $\mathbf{MNT4}$, $\mathbf{S4}$, and $\mathbf{S5}$
Ya. I. Petrukhin, O. Grigoriev
June 19, 2021 12:00–12:30, Logical Perspectives 2021 Workshop, Moscow, online
  
27. A labelled sequent calculus for HYPE
E. La Rosa
June 19, 2021 12:30–13:00, Logical Perspectives 2021 Workshop, Moscow, online
  
28. Definability of graph properties in modal languages
V. Slyusarev
June 19, 2021 13:00–13:30, Logical Perspectives 2021 Workshop, Moscow, online
  
29. Lindström theorem for predicate intuitionistic logic
G. Olkhovikov
June 19, 2021 15:00–15:30, Logical Perspectives 2021 Workshop, Moscow, online
  
30. Ideas of metagraph-based types
Yu. E. Gapanyuk, A. N. Nardid, D. A. Zuev
June 19, 2021 15:30–16:00, Logical Perspectives 2021 Workshop, Moscow, online
  
31. Unrefutability by clause set cycles
J. Vierling
June 19, 2021 16:00–16:30, Logical Perspectives 2021 Workshop, Moscow, online
  
 
Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2021