Second Conference of Russian Mathematical Centers. Section «Mathematical Logic and Theoretical Computer Science»

Conferences

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Second Conference of Russian Mathematical Centers.
Section «Mathematical Logic and Theoretical Computer Science»
(November 7–11, 2022, MSU Lomonosov Hall, Moscow)

The main page of Second Conference of Russian Mathematical Centers

Schedule

Abstracts

The section meetings will take place at MSU Lomonosov Hall, which is located at: Moscow, Leninskiye Gory, 1, 75Б, `Science Park of MSU'. This building is located in a five-minute walk from the metro station `Lomonosovsky Prospekt', exit no. 5 (Solntsevskaya line).

Remark: MSU Lomonosov Hall and `Lomonosovsky Korpus' at MSU are two different buildings. The latter will host plenary (non-section) talks.

Directions:

Organizers
Beklemishev Lev Dmitrievich
Kalimullin Iskander Shagitovich
Kulikov Alexander Sergeevich
Kuznetsov Stepan Lvovich
Speranski Stanislav Olegovich
Vereshchagin Nikolai Konstantinovich

Speakers
Batyrshin Ilnur Ildarovich
Bauwens Bruno F
Bazhenov Nikolay Alekseevich
Dudakov Sergey Mikhailovich
Faizrahmanov Marat Khaidarovich
Goncharov Sergey Savostyanovich
Hetzl Stefan
Kanovei Vladimir Grigorevich
Kochemazov Stepan Evgen'evich
Korovina Margarita Vladimirovna
Kovalev Konstantin Andreevich
Mikhailin Ivan Andreevich
Onoprienko Anastasiya Aleksandrovna
Orekhovskii Vladislav Nikolaevich
Pshenitsyn Tikhon Grigor'evich
Rybakov Vladimir Vladimirovich
Rybakov Mikhail Nikolaevich
Schwidefsky Marina Vladimirovna
Selivanov Viktor L'vovich
Semenov Aleksandr Anatol'evich
Semenov Aleksei Lvovich
Shehtman Valentin Borisovich
Soprunov Sergei Fedorovich
Zapryagaev Aleksandr Aleksandrovich
Zubkov Maxim Vital'evich


*Second Conference of Russian Mathematical Centers. Section «Mathematical Logic and Theoretical Computer Science», Moscow, November 7–11, 2022*

	*November 7, 2022 (Mon)*

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


2.	Automated reasoning with continuous data M. V. Korovina November 7, 2022 15:30–16:00, Moscow, MSU Lomonosov Hall


3.	Well-orders realized by CE equivalence relations M. V. Zubkov November 7, 2022 16:00–16:30, Moscow, MSU Lomonosov Hall


4.	On topological models of intuitionistic epistemic logic A. A. Onoprienko November 7, 2022 17:00–17:15, Moscow, MSU Lomonosov Hall


5.	О логических и топологических классификациях регулярных омега-языков V. N. Orekhovskii November 7, 2022 17:15–17:30, Moscow, MSU Lomonosov Hall


6.	On properties of subset algebras S. M. Dudakov November 7, 2022 17:30–18:00, Moscow, MSU Lomonosov Hall


	*November 8, 2022 (Tue)*

7.	Logical analysis of automated inductive theorem proving S. Hetzl November 8, 2022 15:00–15:45, Moscow, MSU Lomonosov Hall


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


9.	Fast dynamic matching in bipartite lossless expanders B. F. Bauwens November 8, 2022 17:00–17:30, Moscow, MSU Lomonosov Hall


10.	Логических подход к проблемам управления и ИИ в рамках семантического моделирования S. S. Goncharov November 8, 2022 17:30–18:00, Moscow, MSU Lomonosov Hall


	*November 9, 2022 (Wed)*

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


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


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)*

14.	О существенности параметров в схеме аксиом свертки в арифметике второго порядка V. G. Kanovei November 10, 2022 15:00–15:30, Moscow, MSU Lomonosov Hall


15.	Dualities for categories of partially ordered structures M. V. Schwidefsky November 10, 2022 15:30–16:00, Moscow, MSU Lomonosov Hall


16.	Temporal multi-agent logics, problems satisfiability, decidability and admissibility V. V. Rybakov November 10, 2022 16:00–16:30, Moscow, MSU Lomonosov Hall


17.	Interpretations of Büchi arithmetics in themselves A. A. Zapryagaev November 10, 2022 17:00–17:15, Moscow, MSU Lomonosov Hall


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)*

19.	On spectrally universal classes of structures N. A. Bazhenov November 11, 2022 15:00–15:30, Moscow, MSU Lomonosov Hall


20.	Generalized computable numberings and fixed points M. Kh. Faizrahmanov November 11, 2022 15:30–16:00, Moscow, MSU Lomonosov Hall


21.	Полиномиальные формулировки как барьер для доказательств сложности I. A. Mikhailin November 11, 2022 16:00–16:30, Moscow, MSU Lomonosov Hall


22.	Счетная строгая обратная математика I. I. Batyrshin November 11, 2022 17:00–17:15, Moscow, MSU Lomonosov Hall


23.	How to axiomatize boxing for a modal predicate logic? V. B. Shehtman November 11, 2022 17:15–17:45, Moscow, MSU Lomonosov Hall

Registration to the website

Logotypes