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/2018/newsitem/9676/26-
 --28-September-2018-Ninth-International-Symposium-
 on-Games-Automata-Logics-and-Formal-Verification-G
 andALF-2018-Saarbruecken-Germany
DTSTAMP:20180208T154111
SUMMARY:Ninth International Symposium on Games, Au
 tomata, Logics, and Formal Verification  (GandALF 
 2018), Saarbruecken, Germany
DTSTART;VALUE=DATE:20180926
DTEND;VALUE=DATE:20180928
LOCATION:Saarbruecken, Germany
DESCRIPTION:The aim of GandALF 2018 is to bring to
 gether researchers from academia and industry whic
 h are actively working in the fields of Games, Aut
 omata, Logics, and Formal Verification. The idea i
 s to cover an ample spectrum of themes, ranging fr
 om theory to applications, and stimulate cross-fer
 tilization.  Authors are invited to submit origina
 l research or tool papers on all relevant topics i
 n the conference areas. Papers focused on formal m
 ethods are especially welcome. Papers discussing n
 ew ideas that are at an early stage of development
  are also welcome. Submitted papers should not exc
 eed fourteen (14) pages using EPTCS format, be unp
 ublished and contain original research. For papers
  reporting experimental results, authors are encou
 raged to make their data available with their subm
 ission.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The aim o
 f GandALF 2018 is to bring together researchers fr
 om academia and industry which are actively workin
 g in the fields of Games, Automata, Logics, and Fo
 rmal Verification. The idea is to cover an ample s
 pectrum of themes, ranging from theory to applicat
 ions, and stimulate cross-fertilization.</p>\n</di
 v><div>\n  <p>Authors are invited to submit origin
 al research or tool papers on all relevant topics 
 in the conference areas. Papers focused on formal 
 methods are especially welcome. Papers discussing 
 new ideas that are at an early stage of developmen
 t are also welcome. Submitted papers should not ex
 ceed fourteen (14) pages using EPTCS format, be un
 published and contain original research. For paper
 s reporting experimental results, authors are enco
 uraged to make their data available with their sub
 mission.</p>\n</div>
URL:https://www.react.uni-saarland.de/gandalf2018/
END:VEVENT
END:VCALENDAR