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:
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.
Authors are invited to submit original research or tool papers on all relevant topics in the conference areas. Papers focused on formal me thods are especially welcome. Papers discussing ne w ideas that are at an early stage of development are also welcome. Submitted papers should not exce ed fourteen (14) pages using EPTCS format, be unpu blished and contain original research. For papers reporting experimental results, authors are encour aged to make their data available with their submi ssion.