6 July 2020, ICALP/LICS Workshop "Decidable Fragments of First-order Modal Logic", Saarbruecken, Germany
First-order modal logic is a natural specification language for describing properties of many infinite-state systems, but it is notoriously undecidable, in the sense that even simple fragments (like the two-variable fragment) are undecidable. Despite this, in the recent few years, researchers have managed to find some useful syntactic restrictions that yield decidability. The workshop is intended as a review of this rapidly evolving direction of research. We seek to identify new potential techniques for constructing decision procedures.
We invite short abstracts of up to 5 pages in 12-point article style, outlining research in this area. We welcome accounts of already published research or work in progress.