International Workshop Logic Matters (LM-2021)

28 декабря 2021 г.  состоялся междунароный семинар Logic Matters.

28 декабря 2021 г. под руководством профессора Сергея Кузнецова состоялся International Workshop Logic Matters (LM-2021). 

С основным докладом на тему  "A Concept Category Construction" выступил  Dusko Pavlovic (University of Hawaii, Radboud University). 

Также, в свои доклады представили:

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