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

Program Committee
Matthias Baaz
Lev Beklemishev
Andre Scedrov
Stanislav Speranski

Organizing Committee
Lev Beklemishev
Stepan Kuznetsov
Stanislav Speranski

 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 1S. WinklerJune 14, 2021 11:00–12:30, Logical Perspectives 2021 Summer School, Moscow, online 2. First-Order Theorem Proving and Vampire. Lecture 1L. KovácsJune 14, 2021 13:00–14:30, Logical Perspectives 2021 Summer School, Moscow, online 3. Proof Complexity. Lecture 1A. A. RazborovJune 14, 2021 15:30–17:00, Logical Perspectives 2021 Summer School, Moscow, online June 15, 2021 (Tue) 4. Term Rewriting: Basic Concepts, Tools, and Applications. Lecture 2S. WinklerJune 15, 2021 11:00–12:30, Logical Perspectives 2021 Summer School, Moscow, online 5. First-Order Theorem Proving and Vampire. Lecture 2L. KovácsJune 15, 2021 13:00–14:30, Logical Perspectives 2021 Summer School, Moscow, online 6. Proof Complexity. Lecture 2A. A. RazborovJune 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 3S. WinklerJune 16, 2021 11:00–12:30, Logical Perspectives 2021 Summer School, Moscow, online 8. First-Order Theorem Proving and Vampire. Lecture 3L. KovácsJune 16, 2021 13:00–14:30, Logical Perspectives 2021 Summer School, Moscow, online 9. Proof Complexity. Lecture 3A. A. RazborovJune 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 logicsD. P. SkvortsovJune 17, 2021 10:30–11:00, Logical Perspectives 2021 Workshop, Moscow, Steklov Mathematical Institute, Room 104 + online 11. A joint logic of problems and propositionsA. A. OnoprienkoJune 17, 2021 11:00–11:30, Logical Perspectives 2021 Workshop, Moscow, Steklov Mathematical Institute, Room 104 + online 12. Presburger arithmetic and Visser's conjectureA. A. ZapryagaevJune 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 functionsN. V. Shilov, D. A. Kondrat'evJune 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 foundationsA. RodinJune 17, 2021 16:00–16:30, Logical Perspectives 2021 Workshop, Moscow, Steklov Mathematical Institute, Room 104 + online 15. Set theory in the MathSem programA. LuxemburgJune 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 logicA. Belikov, Ya. I. PetrukhinJune 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 operatorsD. RogozinJune 18, 2021 12:00–12:30, Logical Perspectives 2021 Workshop, Moscow, Steklov Mathematical Institute, Room 104 + online 19. Infinitary action logic with exponentiationS. L. Kuznetsov, S. O. SperanskiJune 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. TernovskaJune 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 macrosA. LolicJune 18, 2021 16:00–16:30, Logical Perspectives 2021 Workshop, Moscow, online 22. Arithmetical applications of Baaz's generalization methodL. Sauras-AltuzarraJune 18, 2021 16:30–17:00, Logical Perspectives 2021 Workshop, Moscow, online 23. The number of axiomsJ. Bydžovský, J. P. Aguilera, M. BaazJune 18, 2021 17:00–17:30, Logical Perspectives 2021 Workshop, Moscow, online June 19, 2021 (Sat) 24. Boxing modal logicsV. B. ShehtmanJune 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 logicD. Shkatov, M. N. RybakovJune 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. GrigorievJune 19, 2021 12:00–12:30, Logical Perspectives 2021 Workshop, Moscow, online 27. A labelled sequent calculus for HYPEE. La RosaJune 19, 2021 12:30–13:00, Logical Perspectives 2021 Workshop, Moscow, online 28. Definability of graph properties in modal languagesV. SlyusarevJune 19, 2021 13:00–13:30, Logical Perspectives 2021 Workshop, Moscow, online 29. Lindström theorem for predicate intuitionistic logicG. OlkhovikovJune 19, 2021 15:00–15:30, Logical Perspectives 2021 Workshop, Moscow, online 30. Ideas of metagraph-based typesYu. E. Gapanyuk, A. N. Nardid, D. A. ZuevJune 19, 2021 15:30–16:00, Logical Perspectives 2021 Workshop, Moscow, online 31. Unrefutability by clause set cyclesJ. VierlingJune 19, 2021 16:00–16:30, Logical Perspectives 2021 Workshop, Moscow, online