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:<div>\n  <p>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.</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.</p>\n  <p>Submitted papers sho
 uld not exceed 14 pages (excluding references and 
 clearly marked appendices) using <a href="http://s
 tyle.eptcs.org">EPTCS format</a>, be unpublished a
 nd contain original research. For papers reporting
  experimental results, authors are encouraged to m
 ake their data available with their submission. Su
 bmissions must be in PDF format and will be handle
 d via the <a href="https://hotcrp.software.imdea.o
 rg/gandalf2022" target="_blank">HotCRP Conference 
 system</a>.</p>\n</div>
URL:https://gandalf2022.software.imdea.org/
END:VEVENT
END:VCALENDAR