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/2017/newsitem/8722/20-
 --22-September-2017-Eighth-International-Symposium
 -on-Games-Automata-Logics-and-Formal-Verification-
 GandALF-2017-Rome-Italy
DTSTAMP:20170306T020016
SUMMARY:Eighth International Symposium on Games, A
 utomata, Logics, and Formal Verification (GandALF 
 2017), Rome, Italy
DTSTART;VALUE=DATE:20170920
DTEND;VALUE=DATE:20170922
LOCATION:Rome, Italy
DESCRIPTION:The aim of GandALF 2017 symposium is t
 o bring together researchers from academia and ind
 ustry which are actively working in the fields of 
 Games, Automata, Logics, and Formal Verification. 
 The idea is to cover an ample spectrum of themes, 
 ranging from theory to applications, and stimulate
  cross-fertilization.  Papers focused on formal me
 thods are especially welcome. Authors are invited 
 to submit original research or tool papers on all 
 relevant topics in these areas. Papers discussing 
 new ideas that are at an early stage of developmen
 t are also welcome.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The aim o
 f GandALF 2017 symposium is to bring together rese
 archers from academia and industry which are activ
 ely working in the fields of Games, Automata, Logi
 cs, and Formal Verification. The idea is to cover 
 an ample spectrum of themes, ranging from theory t
 o applications, and stimulate cross-fertilization.
 </p>\n</div><div>\n  <p>Papers focused on formal m
 ethods are especially welcome. Authors are invited
  to submit original research or tool papers on all
  relevant topics in these areas. Papers discussing
  new ideas that are at an early stage of developme
 nt are also welcome.</p>\n</div>
URL:http://gandalf2017.istc.cnr.it
END:VEVENT
END:VCALENDAR