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:<div>\n  <p>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.</p>\n</div><div>
 \n  <p>We invite short abstracts of up to 5 pages 
 in 12-point article style, outlining research in t
 his area. We welcome accounts of already published
  research or work in progress.</p>\n</div>
URL:http://wangyanjing.com/decfoml/
CONTACT:R. Ramanujam at jam at imsc.res.in
CONTACT:Yanjing Wang at y.wang at pku.edu.cn
END:VEVENT
END:VCALENDAR