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/13412/5-
 --6-April-2022-Guarded-Fragments-Current-Trends-an
 d-Applications-GF@25-
DTSTAMP:20220215T182039
SUMMARY:Guarded Fragments: Current Trends and Appl
 ications (GF@25)
DTSTART;VALUE=DATE:20220405
DTEND;VALUE=DATE:20220406
LOCATION:Online
DESCRIPTION:The Guarded Fragment (GF) of was intro
 duced in 1996 by Hajnal Andréka, Johan van Benthem
  and István Németi, as a decidable fragment of fir
 st-order logic that aims to explain the attractive
  algorithmic and model theoretic behavior of modal
  logic. It subsequently gave rise to a larger fami
 ly of decidable guarded fragments of first-order l
 ogic and second-order logic. These guarded fragmen
 ts are, up to today, still actively studied and us
 ed in various application domains across different
  areas of computer science and artificial intellig
 ence (e.g., data management, knowledge representat
 ion).  This workshop is a celebration of the 25th 
 anniversary of GF. It will show case recent result
 s, bringing together different strands of research
 , and offering an opportunity for reflection. The 
 workshop is fully online, with a program consistin
 g of 7 invited lectures, spread out across two day
 s.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The Guarded Fr
 agment (GF) of was introduced in 1996 by Hajnal An
 dréka, Johan van Benthem and István Németi, as a d
 ecidable fragment of first-order logic that aims t
 o explain the attractive algorithmic and model the
 oretic behavior of modal logic. It subsequently ga
 ve rise to a larger family of decidable guarded fr
 agments of first-order logic and second-order logi
 c. These guarded fragments are, up to today, still
  actively studied and used in various application 
 domains across different areas of computer science
  and artificial intelligence (e.g., data managemen
 t, knowledge representation).</p>\n\n  <p>This wor
 kshop is a celebration of the 25th anniversary of 
 GF. It will show case recent results, bringing tog
 ether different strands of research, and offering 
 an opportunity for reflection. The workshop is ful
 ly online, with a program consisting of 7 invited 
 lectures, spread out across two days.</p>\n
URL:https://events.illc.uva.nl/GF25/
CONTACT:Balder ten Cate at b.d.tencate at uva.nl
END:VEVENT
END:VCALENDAR