Second Conference of Russian Mathematical Centers. Section «Mathematical Logic and Theoretical Computer Science» (November 7–11, 2022, MSU Lomonosov Hall, Moscow)
|
Second Conference of Russian Mathematical Centers. Section «Mathematical Logic and Theoretical Computer Science», Moscow, November 7–11, 2022 |
|
|
November 7, 2022 (Mon) |
![](/gifs/1pts.gif) |
1. |
Boole vs Wadge: comparing basic tools of descriptive set theory V. L. Selivanov November 7, 2022 15:00–15:30, Moscow, MSU Lomonosov Hall
|
|
|
|
![](/gifs/1pts.gif) |
2. |
Automated reasoning with continuous data M. V. Korovina November 7, 2022 15:30–16:00, Moscow, MSU Lomonosov Hall
|
|
|
|
![](/gifs/1pts.gif) |
3. |
Well-orders realized by CE equivalence relations M. V. Zubkov November 7, 2022 16:00–16:30, Moscow, MSU Lomonosov Hall
|
|
|
|
![](/gifs/1pts.gif) |
4. |
On topological models of intuitionistic epistemic logic A. A. Onoprienko November 7, 2022 17:00–17:15, Moscow, MSU Lomonosov Hall
|
|
|
|
![](/gifs/1pts.gif) |
5. |
О логических и топологических классификациях регулярных омега-языков V. N. Orekhovskii November 7, 2022 17:15–17:30, Moscow, MSU Lomonosov Hall
|
|
|
|
![](/gifs/1pts.gif) |
6. |
On properties of subset algebras S. M. Dudakov November 7, 2022 17:30–18:00, Moscow, MSU Lomonosov Hall
|
|
|
|
|
|
November 8, 2022 (Tue) |
![](/gifs/1pts.gif) |
7. |
Logical analysis of automated inductive theorem proving S. Hetzl November 8, 2022 15:00–15:45, Moscow, MSU Lomonosov Hall
|
|
|
|
![](/gifs/1pts.gif) |
8. |
Using Backdoors to estimate the hardness of Boolean formulas w.r.t. SAT solving algorithms A. A. Semenov, S. E. Kochemazov November 8, 2022 15:45–16:30, Moscow, MSU Lomonosov Hall
|
|
|
|
![](/gifs/1pts.gif) |
9. |
Fast dynamic matching in bipartite lossless expanders B. F. Bauwens November 8, 2022 17:00–17:30, Moscow, MSU Lomonosov Hall
|
|
|
|
![](/gifs/1pts.gif) |
10. |
Логических подход к проблемам управления и ИИ в рамках семантического моделирования S. S. Goncharov November 8, 2022 17:30–18:00, Moscow, MSU Lomonosov Hall
|
|
|
|
|
|
November 9, 2022 (Wed) |
![](/gifs/1pts.gif) |
11. |
Undecidability of modal and superintuitionistic logics of a single unary predicate in languages with two variables M. N. Rybakov November 9, 2022 15:30–16:00, Moscow, MSU Lomonosov Hall
|
|
|
|
![](/gifs/1pts.gif) |
12. |
Recent results on definability lattices of numerical structures A. L. Semenov, S. F. Soprunov November 9, 2022 16:00–16:30, Moscow, MSU Lomonosov Hall
|
|
|
|
![](/gifs/1pts.gif) |
13. |
Commutative Lambek grammars are not context-free T. G. Pshenitsyn November 9, 2022 16:30–16:45, Moscow, MSU Lomonosov Hall
|
|
|
|
|
|
November 10, 2022 (Thu) |
![](/gifs/1pts.gif) |
14. |
О существенности параметров в схеме аксиом свертки в арифметике второго порядка V. G. Kanovei November 10, 2022 15:00–15:30, Moscow, MSU Lomonosov Hall
|
|
|
|
![](/gifs/1pts.gif) |
15. |
Dualities for categories of partially ordered structures M. V. Schwidefsky November 10, 2022 15:30–16:00, Moscow, MSU Lomonosov Hall
|
|
|
|
![](/gifs/1pts.gif) |
16. |
Temporal multi-agent logics, problems satisfiability, decidability and admissibility V. V. Rybakov November 10, 2022 16:00–16:30, Moscow, MSU Lomonosov Hall
|
|
|
|
![](/gifs/1pts.gif) |
17. |
Interpretations of Büchi arithmetics in themselves A. A. Zapryagaev November 10, 2022 17:00–17:15, Moscow, MSU Lomonosov Hall
|
|
|
|
![](/gifs/1pts.gif) |
18. |
Analogues of Shepherdson's Theorem for the arithmetical language with exponentiation K. A. Kovalev November 10, 2022 17:15–17:30, Moscow, MSU Lomonosov Hall
|
|
|
|
|
|
November 11, 2022 (Fri) |
![](/gifs/1pts.gif) |
19. |
On spectrally universal classes of structures N. A. Bazhenov November 11, 2022 15:00–15:30, Moscow, MSU Lomonosov Hall
|
|
|
|
![](/gifs/1pts.gif) |
20. |
Generalized computable numberings and fixed points M. Kh. Faizrahmanov November 11, 2022 15:30–16:00, Moscow, MSU Lomonosov Hall
|
|
|
|
![](/gifs/1pts.gif) |
21. |
Полиномиальные формулировки как барьер для доказательств сложности I. A. Mikhailin November 11, 2022 16:00–16:30, Moscow, MSU Lomonosov Hall
|
|
|
|
![](/gifs/1pts.gif) |
22. |
Счетная строгая обратная математика I. I. Batyrshin November 11, 2022 17:00–17:15, Moscow, MSU Lomonosov Hall
|
|
|
|
![](/gifs/1pts.gif) |
23. |
How to axiomatize boxing for a modal predicate logic? V. B. Shehtman November 11, 2022 17:15–17:45, Moscow, MSU Lomonosov Hall
|
|
|
|
![](/gifs/1pts.gif) |
|