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/2022/newsitem/13572/21 ---22-September-2022-Thirteenth-International-Symp osium-on-Games-Automata-Logics-and-Formal-Verifica tion-GandALF-2022-Madrid-Spain DTSTAMP:20220427T160743 SUMMARY:Thirteenth International Symposium on Game s, Automata, Logics, and Formal Verification (Gand ALF 2022), Madrid, Spain DTSTART;VALUE=DATE:20220921 DTEND;VALUE=DATE:20220922 LOCATION:Madrid, Spain DESCRIPTION:The aim of GandALF 2022 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 ex ceed 14 pages (excluding references and clearly ma rked appendices) using EPTCS format, be unpublishe d and contain original research. For papers report ing experimental results, authors are encouraged t o make their data available with their submission. Submissions must be in PDF format and will be han dled via the HotCRP Conference system. X-ALT-DESC;FMTTYPE=text/html:
The aim o f GandALF 2022 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.
\nSubmitted papers shoul d not exceed 14 pages (excluding references and cl early marked appendices) using EPTCS format, be unpublished and contain original research. For papers reporting e xperimental results, authors are encouraged to mak e their data available with their submission. Subm issions must be in PDF format and will be handled via the HotCRP Conference sy stem.