BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2020/newsitem/11683/6- July-2020-ICALP-LICS-Workshop-Decidable-Fragments- of-First-order-Modal-Logic-Saarbruecken-Germany DTSTAMP:20200305T195900 SUMMARY:ICALP/LICS Workshop "Decidable Fragments o f First-order Modal Logic", Saarbruecken, Germany DTSTART;VALUE=DATE:20200706 DTEND;VALUE=DATE:20200706 LOCATION:Saarbruecken, Germany DESCRIPTION:First-order modal logic is a natural s pecification language for describing properties of many infinite-state systems, but it is notoriousl y undecidable, in the sense that even simple fragm ents (like the two-variable fragment) are undecida ble. Despite this, in the recent few years, resear chers have managed to find some useful syntactic r estrictions that yield decidability. The workshop is intended as a review of this rapidly evolving d irection of research. We seek to identify new pote ntial techniques for constructing decision procedu res. We invite short abstracts of up to 5 pages i n 12-point article style, outlining research in th is area. We welcome accounts of already published research or work in progress. X-ALT-DESC;FMTTYPE=text/html:
First-ord er 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-va riable fragment) are undecidable. Despite this, in the recent few years, researchers have managed to find some useful syntactic restrictions that yiel d decidability. The workshop is intended as a revi ew 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 thi s area. We welcome accounts of already published r esearch or work in progress.