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/2020/newsitem/11710/21 ---23-September-2020-Eleventh-International-Sympos ium-on-Games-Automata-Logics-and-Formal-Verificati on-GandALF-2020-Online DTSTAMP:20200615T150715 SUMMARY:Eleventh International Symposium on Games, Automata, Logics, and Formal Verification (GandAL F 2020), Online DTSTART;VALUE=DATE:20200921 DTEND;VALUE=DATE:20200923 LOCATION:Online DESCRIPTION:The aim of GandALF 2020 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 tilisation. This year, GANDALF will be organised together with a workshop on Stochastic Games organ ised by the GAMENET network which will held on Sep tember 23-24, 2020. The GAMENET meeting will focus on stochastic games with applications in computer science, economy and mathematics. Due to COVID19 outbreak, the local organization committee and th e steering committee of Gandalf have decided that the conference will be organized online this year. Papers focused on formal methods are especially welcome. Authors are invited to submit original re search or tool papers on all relevant topics in th ese areas. Papers discussing new ideas that are at an early stage of development are also welcome. Submitted papers should not exceed fourteen (14) p ages using EPTCS format, be unpublished and contai n original research. For papers reporting experime ntal results, authors are encouraged to make their data available with their submission. X-ALT-DESC;FMTTYPE=text/html:
The aim o f GandALF 2020 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-fertilisation.
\n\nThis year, GANDALF will be organised together w ith a workshop on Stochastic Games organised by th e GAMENET network which will held on Sep tember 23-24, 2020. The GAMENET meeting will focus on stochastic games with applications in computer science, economy and mathematics.
\n\nDue to COVID19 outbreak, the local organization commi ttee and the steering committee of Gandalf have de cided that the conference will be organized online this year.
Papers focused on formal methods are especially welcome. Authors ar e invited to submit original research or tool pape rs on all relevant topics in these areas. Papers d iscussing new ideas that are at an early stage of development are also welcome.
\n\nSubmitte d papers should not exceed fourteen (14) pages usi ng EPTCS format, be unpublished and contain origin al research. For papers reporting experimental res ults, authors are encouraged to make their data av ailable with their submission.