|
Вторая конференция Математических центров России
Секция «Математическая логика и теоретическая информатика»
(7–11 ноября 2022 г., МГУ Ломоносов Холл, г. Москва)
 Основная страница Второй конференции Математических центров России
Расписание докладов
Аннотации докладов
Заседания секции будут проходить здании «МГУ Ломоносов Холл», расположенном по адресу: г. Москва, Ленинские горы, владение 1, стр. 75Б, Научный Парк МГУ. Здание располагается в пяти минутах ходьбы от станции метро «Ломоносовский проспект», выход
№5 (Солнцевская линия).
Примечание: МГУ Ломоносов Холл и Ломоносовский корпус МГУ — два разных здания. В последнем будут проходить пленарные (не секционные) заседания.
Схема проезда:
Организаторы
Беклемишев Лев Дмитриевич
Верещагин Николай Константинович
Калимуллин Искандер Шагитович
Кузнецов Степан Львович
Куликов Александр Сергеевич
Сперанский Станислав Олегович
Докладчики
Hetzl Stefan
Баженов Николай Алексеевич
Батыршин Ильнур Ильдарович
Баувенс Бруно Фредерик Л.
Гончаров Сергей Савостьянович
Дудаков Сергей Михайлович
Запрягаев Александр Александрович
Зубков Максим Витальевич
Кановей Владимир Григорьевич
Ковалев Константин Андреевич
Коровина Маргарита Владимировна
Кочемазов Степан Евгеньевич
Михайлин Иван Андреевич
Оноприенко Анастасия Александровна
Ореховский Владислав Николаевич
Пшеницын Тихон Григорьевич
Рыбаков Владимир Владимирович
Рыбаков Михаил Николаевич
Селиванов Виктор Львович
Семенов Александр Анатольевич
Семёнов Алексей Львович
Сопрунов Сергей Федорович
Файзрахманов Марат Хайдарович
Швидефски Марина Владимировна
Шехтман Валентин Борисович
Финансовая поддержка
Конференция проводится при финансовой поддержке Минобрнауки России (грант на создание и развитие МЦМУ МИАН, соглашение № 075-15-2022-265, грант на создание и развитие МЦФПМ, соглашения № 075-15-2022-283, № 075-15-2022-284, № 075-15-2022-286).
|
|
| Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика», г. Москва, 7–11 ноября 2022 г. |
|
|
7 ноября 2022 г. (пн) |
 |
| 1. |
Boole vs Wadge: comparing basic tools of descriptive set theory
В. Л. Селиванов
7 ноября 2022 г. 15:00–15:30, г. Москва, МГУ Ломоносов Холл
|
|
|
|
|
| 2. |
Automated reasoning with continuous data
М. В. Коровина
7 ноября 2022 г. 15:30–16:00, г. Москва, МГУ Ломоносов Холл
|
|
|
|
|
|
| 3. |
Well-orders realized by CE equivalence relations
М. В. Зубков
7 ноября 2022 г. 16:00–16:30, г. Москва, МГУ Ломоносов Холл
|
|
|
|
|
|
| 4. |
On topological models of intuitionistic epistemic logic
А. А. Оноприенко
7 ноября 2022 г. 17:00–17:15, г. Москва, МГУ Ломоносов Холл
|
|
|
|
|
|
| 5. |
О логических и топологических классификациях регулярных омега-языков
В. Н. Ореховский
7 ноября 2022 г. 17:15–17:30, г. Москва, МГУ Ломоносов Холл
|
|
|
|
|
|
| 6. |
On properties of subset algebras
С. М. Дудаков
7 ноября 2022 г. 17:30–18:00, г. Москва, МГУ Ломоносов Холл
|
|
|
|
|
|
|
8 ноября 2022 г. (вт) |
|
| 7. |
Logical analysis of automated inductive theorem proving
S. Hetzl
8 ноября 2022 г. 15:00–15:45, г. Москва, МГУ Ломоносов Холл
|
|
|
|
|
|
| 8. |
Using Backdoors to estimate the hardness of Boolean formulas w.r.t. SAT solving algorithms
А. А. Семенов, С. Е. Кочемазов
8 ноября 2022 г. 15:45–16:30, г. Москва, МГУ Ломоносов Холл
|
|
|
|
|
|
| 9. |
Fast dynamic matching in bipartite lossless expanders
Б. Ф. Баувенс
8 ноября 2022 г. 17:00–17:30, г. Москва, МГУ Ломоносов Холл
|
|
|
|
|
|
| 10. |
Логических подход к проблемам управления и ИИ в рамках семантического моделирования
С. С. Гончаров
8 ноября 2022 г. 17:30–18:00, г. Москва, МГУ Ломоносов Холл
|
|
|
|
|
|
|
9 ноября 2022 г. (ср) |
|
| 11. |
Undecidability of modal and superintuitionistic logics of a single unary predicate in languages with two variables
М. Н. Рыбаков
9 ноября 2022 г. 15:30–16:00, г. Москва, МГУ Ломоносов Холл
|
|
|
|
|
|
| 12. |
Recent results on definability lattices of numerical structures
А. Л. Семёнов, С. Ф. Сопрунов
9 ноября 2022 г. 16:00–16:30, г. Москва, МГУ Ломоносов Холл
|
|
|
|
|
|
| 13. |
Commutative Lambek grammars are not context-free
Т. Г. Пшеницын
9 ноября 2022 г. 16:30–16:45, г. Москва, МГУ Ломоносов Холл
|
|
|
|
|
|
|
10 ноября 2022 г. (чт) |
|
| 14. |
О существенности параметров в схеме аксиом свертки в арифметике второго порядка
В. Г. Кановей
10 ноября 2022 г. 15:00–15:30, г. Москва, МГУ Ломоносов Холл
|
|
|
|
|
|
| 15. |
Dualities for categories of partially ordered structures
М. В. Швидефски
10 ноября 2022 г. 15:30–16:00, г. Москва, МГУ Ломоносов Холл
|
|
|
|
|
|
| 16. |
Temporal multi-agent logics, problems satisfiability, decidability and admissibility
В. В. Рыбаков
10 ноября 2022 г. 16:00–16:30, г. Москва, МГУ Ломоносов Холл
|
|
|
|
|
|
| 17. |
Interpretations of Büchi arithmetics in themselves
А. А. Запрягаев
10 ноября 2022 г. 17:00–17:15, г. Москва, МГУ Ломоносов Холл
|
|
|
|
|
|
| 18. |
Analogues of Shepherdson's Theorem for the arithmetical language with exponentiation
К. А. Ковалев
10 ноября 2022 г. 17:15–17:30, г. Москва, МГУ Ломоносов Холл
|
|
|
|
|
|
|
11 ноября 2022 г. (пт) |
|
| 19. |
On spectrally universal classes of structures
Н. А. Баженов
11 ноября 2022 г. 15:00–15:30, г. Москва, МГУ Ломоносов Холл
|
|
|
|
|
|
| 20. |
Generalized computable numberings and fixed points
М. Х. Файзрахманов
11 ноября 2022 г. 15:30–16:00, г. Москва, МГУ Ломоносов Холл
|
|
|
|
|
|
| 21. |
Полиномиальные формулировки как барьер для доказательств сложности
И. А. Михайлин
11 ноября 2022 г. 16:00–16:30, г. Москва, МГУ Ломоносов Холл
|
|
|
|
|
|
| 22. |
Счетная строгая обратная математика
И. И. Батыршин
11 ноября 2022 г. 17:00–17:15, г. Москва, МГУ Ломоносов Холл
|
|
|
|
|
|
| 23. |
How to axiomatize boxing for a modal predicate logic?
В. Б. Шехтман
11 ноября 2022 г. 17:15–17:45, г. Москва, МГУ Ломоносов Холл
|
|
|
|
|
|
|
Обратная связь: