• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

International Workshop Logic Matters (LM-2021)

On December 28, 2021, an international Logic Matters seminar was held.

International Workshop Logic Matters (LM-2021)

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