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/2021/newsitem/12592/20
 ---22-September-2021-Twelfth-International-Symposi
 um-on-Games-Automata-Logics-and-Formal-Verificatio
 n-GandALF-2021-Virtual-and-or-Padua-Italy-
DTSTAMP:20210322T132105
SUMMARY:Twelfth International Symposium on Games, 
 Automata, Logics, and Formal Verification (GandALF
  2021), Virtual and/or Padua (Italy)
DTSTART;VALUE=DATE:20210920
DTEND;VALUE=DATE:20210922
LOCATION:Virtual and/or Padua (Italy)
DESCRIPTION:The aim of GandALF 2021 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.  This year, GANDALF will be organised 
 together with the 3rd Workshop on Artificial Intel
 ligence and fOrmal VERification, Logic, Automata, 
 and sYnthesis (OVERLAY 2021). The OVERLAY workshop
  focuses on the relationships between Artificial I
 ntelligence and Formal Methods, and discusses on t
 he opportunities and challenges at the border of t
 he two areas.  GANDALF 2021 is planned to be a hyb
 rid conference. We aim at organizing an in-presenc
 e event, but there will be possibilities for virtu
 al participation for delegates affected by travel 
 restrictions.  Authors are invited to submit origi
 nal research or tool papers on all relevant topics
  in these areas. Papers focused on formal methods 
 are especially welcome. Papers discussing new idea
 s that are at an early stage of development are al
 so welcome.  Submitted papers should not exceed 14
  pages (excluding references and clearly marked ap
 pendices) using EPTCS format, be unpublished and c
 ontain original research. For papers reporting exp
 erimental results, authors are encouraged to make 
 their data available with their submission.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The aim o
 f GandALF 2021 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\n  
 <p>This year, GANDALF will be organised together w
 ith the 3rd Workshop on Artificial Intelligence an
 d fOrmal VERification, Logic, Automata, and sYnthe
 sis (<a href="https://overlay.uniud.it/" target="_
 blank">OVERLAY 2021</a>). The OVERLAY workshop foc
 uses on the relationships between Artificial Intel
 ligence and Formal Methods, and discusses on the o
 pportunities and challenges at the border of the t
 wo areas.</p>\n\n  <p>GANDALF 2021 is planned to b
 e a hybrid conference. We aim at organizing an in-
 presence event, but there will be possibilities fo
 r virtual participation for delegates affected by 
 travel restrictions.</p>\n</div><div>\n  <p>Author
 s are invited to submit original research or tool 
 papers on all relevant topics in these areas. Pape
 rs focused on formal methods are especially welcom
 e. Papers discussing new ideas that are at an earl
 y stage of development are also welcome.</p>\n\n  
 <p>Submitted papers should not exceed 14 pages (ex
 cluding references and clearly marked appendices) 
 using EPTCS format, be unpublished and contain ori
 ginal research. For papers reporting experimental 
 results, authors are encouraged to make their data
  available with their submission.</p>\n</div>
URL:https://gandalf2021.math.unipd.it/
END:VEVENT
END:VCALENDAR