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/2022/newsitem/13594/31
 -July-2022-LICS-Workshop-Decidable-Fragments-of-fi
 rst-order-modal-logic-Haifa-Israel
DTSTAMP:20220430T001852
SUMMARY:LICS Workshop "Decidable Fragments of firs
 t-order modal logic", Haifa, Israel
DTSTART;VALUE=DATE:20220731
DTEND;VALUE=DATE:20220731
LOCATION:Haifa, Israel
DESCRIPTION:First-order modal logic is a natural s
 pecification language for describing properties of
  infinite-state systems, databases and de re knowl
 edge of agents, but it is notoriously undecidable,
  in the sense that even simple fragments (like the
  two-variable fragment with unary predicates) are 
 undecidable. Despite this, in the recent few years
 , researchers have managed to find some useful syn
 tactic restrictions that yield decidability, such 
 as monodic fragments and bundled fragments.  The w
 orkshop is intended as a review of this rapidly ev
 olving direction of research. We seek to identify 
 new potential techniques for constructing decision
  procedures and discuss problem areas, in terms of
  syntactic restrictions as well as model classes.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>First-order mo
 dal logic is a natural specification language for 
 describing properties of infinite-state systems, d
 atabases and de re knowledge of agents, but it is 
 notoriously undecidable, in the sense that even si
 mple fragments (like the two-variable fragment wit
 h unary predicates) are undecidable. Despite this,
  in the recent few years, researchers have managed
  to find some useful syntactic restrictions that y
 ield decidability, such as monodic fragments and b
 undled fragments.</p>\n  <p>The workshop is intend
 ed as a review of this rapidly evolving direction 
 of research. We seek to identify new potential tec
 hniques for constructing decision procedures and d
 iscuss problem areas, in terms of syntactic restri
 ctions as well as model classes.</p>\n
URL:http://wangyanjing.com/decfoml
END:VEVENT
END:VCALENDAR