Logical Perspectives 2021: Summer School and Workshop (14–19 июня 2021 г., Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, г. Москва)
|
Logical Perspectives 2021: Summer School and Workshop, г. Москва, 14–19 июня 2021 г. |
|
|
14 июня 2021 г. (пн) |
|
|
Logical Perspectives 2021 Summer School |
|
1. |
Term Rewriting: Basic Concepts, Tools, and Applications. Lecture 1 S. Winkler 14 июня 2021 г. 11:00–12:30, Logical Perspectives 2021 Summer School, г. Москва, online
|
|
|
|
|
2. |
First-Order Theorem Proving and Vampire. Lecture 1 L. Kovács 14 июня 2021 г. 13:00–14:30, Logical Perspectives 2021 Summer School, г. Москва, online
|
|
|
|
|
3. |
Proof Complexity. Lecture 1 A. A. Razborov 14 июня 2021 г. 15:30–17:00, Logical Perspectives 2021 Summer School, г. Москва, online
|
|
|
|
|
|
15 июня 2021 г. (вт) |
|
4. |
Term Rewriting: Basic Concepts, Tools, and Applications. Lecture 2 S. Winkler 15 июня 2021 г. 11:00–12:30, Logical Perspectives 2021 Summer School, г. Москва, online
|
|
|
|
|
5. |
First-Order Theorem Proving and Vampire. Lecture 2 L. Kovács 15 июня 2021 г. 13:00–14:30, Logical Perspectives 2021 Summer School, г. Москва, online
|
|
|
|
|
6. |
Proof Complexity. Lecture 2 A. A. Razborov 15 июня 2021 г. 15:30–17:00, Logical Perspectives 2021 Summer School, г. Москва, МИАН, конференц-зал + online
|
|
|
|
|
|
16 июня 2021 г. (ср) |
|
7. |
Term Rewriting: Basic Concepts, Tools, and Applications. Lecture 3 S. Winkler 16 июня 2021 г. 11:00–12:30, Logical Perspectives 2021 Summer School, г. Москва, online
|
|
|
|
|
8. |
First-Order Theorem Proving and Vampire. Lecture 3 L. Kovács 16 июня 2021 г. 13:00–14:30, Logical Perspectives 2021 Summer School, г. Москва, online
|
|
|
|
|
9. |
Proof Complexity. Lecture 3 A. A. Razborov 16 июня 2021 г. 15:30–17:00, Logical Perspectives 2021 Summer School, г. Москва, МИАН, конференц-зал + online
|
|
|
|
|
|
17 июня 2021 г. (чт) |
|
|
Logical Perspectives 2021 Workshop |
|
10. |
On a possibility of finite characterizations for Kripke
complete non-recursively axiomatizable superintuitionistic
predicate logics D. P. Skvortsov 17 июня 2021 г. 10:30–11:00, Logical Perspectives 2021 Workshop, г. Москва, МИАН, комн. 104 + online
|
|
|
|
|
11. |
A joint logic of problems and propositions A. A. Onoprienko 17 июня 2021 г. 11:00–11:30, Logical Perspectives 2021 Workshop, г. Москва, МИАН, комн. 104 + online
|
|
|
|
|
12. |
Presburger arithmetic and Visser's conjecture A. A. Zapryagaev 17 июня 2021 г. 12:00–12:30, Logical Perspectives 2021 Workshop, г. Москва, МИАН, комн. 104 + online
|
|
|
|
|
13. |
Platform-independent model of fix-point arithmetic for verification of the standard mathematical functions N. V. Shilov, D. A. Kondrat'ev 17 июня 2021 г. 12:30–13:00, Logical Perspectives 2021 Workshop, г. Москва, МИАН, комн. 104 + online
|
|
|
|
|
14. |
Computer-assisted proofs and mathematical understanding: The case of univalent foundations A. Rodin 17 июня 2021 г. 16:00–16:30, Logical Perspectives 2021 Workshop, г. Москва, МИАН, комн. 104 + online
|
|
|
|
|
15. |
Set theory in the MathSem program A. Luxemburg 17 июня 2021 г. 16:30–17:00, Logical Perspectives 2021 Workshop, г. Москва, МИАН, комн. 104 + online
|
|
|
|
|
|
18 июня 2021 г. (пт) |
|
16. |
Gentzenizing $R$ M. Ilić 18 июня 2021 г. 10:30–11:00, Logical Perspectives 2021 Workshop, г. Москва, МИАН, комн. 104 + online
|
|
|
|
|
17. |
Exactly true and non-falsity versions of Deutsch's logic A. Belikov, Ya. I. Petrukhin 18 июня 2021 г. 11:00–11:30, Logical Perspectives 2021 Workshop, г. Москва, МИАН, комн. 104 + online
|
|
|
|
|
18. |
The distributive full Lambek calculus with modal operators D. Rogozin 18 июня 2021 г. 12:00–12:30, Logical Perspectives 2021 Workshop, г. Москва, МИАН, комн. 104 + online
|
|
|
|
|
19. |
Infinitary action logic with exponentiation S. L. Kuznetsov, S. O. Speranski 18 июня 2021 г. 12:30–13:00, Logical Perspectives 2021 Workshop, г. Москва, МИАН, комн. 104 + online
|
|
|
|
|
20. |
Towards capturing PTIME with no counting construct (but with a version of Hilbert's choice operator epsilon) E. Ternovska 18 июня 2021 г. 13:00–13:30, Logical Perspectives 2021 Workshop, г. Москва, МИАН, комн. 104 + online
|
|
|
|
|
21. |
On globally sound analytic calculi for quantifier macros A. Lolic 18 июня 2021 г. 16:00–16:30, Logical Perspectives 2021 Workshop, г. Москва, online
|
|
|
|
|
22. |
Arithmetical applications of Baaz's generalization method L. Sauras-Altuzarra 18 июня 2021 г. 16:30–17:00, Logical Perspectives 2021 Workshop, г. Москва, online
|
|
|
|
|
23. |
The number of axioms J. Bydžovský, J. P. Aguilera, M. Baaz 18 июня 2021 г. 17:00–17:30, Logical Perspectives 2021 Workshop, г. Москва, online
|
|
|
|
|
|
19 июня 2021 г. (сб) |
|
24. |
Boxing modal logics V. B. Shehtman 19 июня 2021 г. 10:30–11:00, Logical Perspectives 2021 Workshop, г. Москва, online
|
|
|
|
|
25. |
On relationship between complexity function and complexity of validity in propositional modal logic D. Shkatov, M. N. Rybakov 19 июня 2021 г. 11:00–11:30, Logical Perspectives 2021 Workshop, г. Москва, online
|
|
|
|
|
26. |
On multilattice counterparts of $\mathbf{MNT4}$, $\mathbf{S4}$, and $\mathbf{S5}$ Ya. I. Petrukhin, O. Grigoriev 19 июня 2021 г. 12:00–12:30, Logical Perspectives 2021 Workshop, г. Москва, online
|
|
|
|
|
27. |
A labelled sequent calculus for HYPE E. La Rosa 19 июня 2021 г. 12:30–13:00, Logical Perspectives 2021 Workshop, г. Москва, online
|
|
|
|
|
28. |
Definability of graph properties in modal languages V. Slyusarev 19 июня 2021 г. 13:00–13:30, Logical Perspectives 2021 Workshop, г. Москва, online
|
|
|
|
|
29. |
Lindström theorem for predicate intuitionistic logic G. Olkhovikov 19 июня 2021 г. 15:00–15:30, Logical Perspectives 2021 Workshop, г. Москва, online
|
|
|
|
|
30. |
Ideas of metagraph-based types Yu. E. Gapanyuk, A. N. Nardid, D. A. Zuev 19 июня 2021 г. 15:30–16:00, Logical Perspectives 2021 Workshop, г. Москва, online
|
|
|
|
|
31. |
Unrefutability by clause set cycles J. Vierling 19 июня 2021 г. 16:00–16:30, Logical Perspectives 2021 Workshop, г. Москва, online
|
|
|
|
|
|