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


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

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.

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

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

Постер

Доклады

RSS:

Программный комитет
Matthias Baaz
Lev Beklemishev
Stanislav Speranski
Andre Scedrov

Организационный комитет
Lev Beklemishev
Stepan Kuznetsov
Stanislav Speranski

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


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
S. Winkler
  
2. First-Order Theorem Proving and Vampire. Lecture 1
L. Kovács
14 июня 2021 г. 13:00–14:30, Logical Perspectives 2021 Summer School, г. Москва, online
L. Kovács
  
3. Proof Complexity. Lecture 1
A. A. Razborov
14 июня 2021 г. 15:30–17:00, Logical Perspectives 2021 Summer School, г. Москва, online
A. A. Razborov
  

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
S. Winkler
  
5. First-Order Theorem Proving and Vampire. Lecture 2
L. Kovács
15 июня 2021 г. 13:00–14:30, Logical Perspectives 2021 Summer School, г. Москва, online
L. Kovács
  
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
  
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021