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/2019/newsitem/10770/2-
 --4-September-2019-Tenth-International-Symposium-o
 n-Games-Automata-Logics-and-Formal-Verification-Ga
 ndALF-2019-Bordeaux-France
DTSTAMP:20190413T214921
SUMMARY:Tenth International Symposium on Games, Au
 tomata, Logics, and Formal Verification (GandALF 2
 019), Bordeaux, France
DTSTART;VALUE=DATE:20190902
DTEND;VALUE=DATE:20190904
LOCATION:Bordeaux, France
DESCRIPTION:The aim of the GandALF symposium is to
  bring together researchers from academia and indu
 stry which are actively working in the fields of G
 ames, Automata, Logics, and Formal Verification. T
 he symposium covers a large number of research sub
 jects, ranging from theory to applications, and st
 imulate cross-fertilization.  Papers focused on fo
 rmal methods are especially welcome. Authors are i
 nvited to submit original research or tool papers 
 on all relevant topics in these areas. Papers disc
 ussing new ideas that are at an early stage of dev
 elopment are also welcome.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The aim o
 f the GandALF symposium is to bring together resea
 rchers from academia and industry which are active
 ly working in the fields of Games, Automata, Logic
 s, and Formal Verification. The symposium covers a
  large number of research subjects, ranging from t
 heory to applications, and stimulate cross-fertili
 zation.</p>\n</div><div>\n  <p>Papers focused on f
 ormal methods are especially welcome. Authors are 
 invited to submit original research or tool papers
  on all relevant topics in these areas. Papers dis
 cussing new ideas that are at an early stage of de
 velopment are also welcome.</p>\n</div>
URL:https://gandalf2019.sciencesconf.org/
END:VEVENT
END:VCALENDAR