International Workshop Logic Matters (LM-2021)
On December 28, 2021, an international Logic Matters seminar was held.
On December 28, 2021, the International Workshop Logic Matters (LM-2021) was held by Professor Sergey Kuznetsov.
The main report "A Concept Category Construction" was presented by Dusko Pavlovic (University of Hawaii, Radboud University)
Also, reported were presented:
Stanislav Kikot' (Institute for Information Transmission Problems, IITP RAS and HSE), Responsibility-sensitive safety for autonomous vehicles
Stepan Kuznetsov (Steklov Math. Institute, HSE), Complexity of Logics with Kleene Star
Mikhail Zakharyashchev (Birbeck college, HSE), First-order rewritability of ontology mediated queries in linear temporal logic
Olga Gerasimova (HSE), A Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom
Andre Scedrov (University of Pennsylvania)
Max Kanovich (University College London and HSE University), Periodic Systems: Safety, Security, and Complexity