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:<div>\n  <p>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.</p>\n\n  
 <p>This year, GANDALF will be organised together w
 ith a workshop on Stochastic Games organised by th
 e <a href="https://gametheorynetwork.com" target="
 _blank">GAMENET</a> 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.</p>\n\n  <p>Due
  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.</p>\n</div><div>\n  <p>Papers focused 
 on formal methods are especially welcome. Authors 
 are invited to submit original research or tool pa
 pers on all relevant topics in these areas. Papers
  discussing new ideas that are at an early stage o
 f development are also welcome.</p>\n\n  <p>Submit
 ted papers should not exceed fourteen (14) pages u
 sing EPTCS format, be unpublished and contain orig
 inal research. For papers reporting experimental r
 esults, authors are encouraged to make their data 
 available with their submission.</p>\n</div>
URL:https://di.ulb.ac.be/verif/gandalf2020/
END:VEVENT
END:VCALENDAR