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/2015/newsitem/6808/21-
 23-September-2015-Sixth-International-Symposium-on
 -Games-Automata-Logics-and-Formal-Verification-Gan
 dALF-2015-Genoa-Italy
DTSTAMP:20150322T000000
SUMMARY:Sixth International Symposium on Games, Au
 tomata, Logics and Formal Verification (GandALF 20
 15), Genoa, Italy
DTSTART;VALUE=DATE:20150921
DTEND;VALUE=DATE:20150923
LOCATION:Genoa, Italy
DESCRIPTION:The aim of the symposium is to bring t
 ogether researchers from academia and industry whi
 ch are actively working in the fields of Games, Au
 tomata, Logics, and Formal Verification. The sympo
 sium covers an ample spectrum of themes, ranging f
 rom theory to applications, and encourages cross-f
 ertilization.    Authors are invited to submit ori
 ginal research or tool papers on all relevant topi
 cs in these areas. Papers focused on formal method
 s are especially welcome. Papers discussing new id
 eas that are at an early stage of development are 
 also welcome. Abstract submission deadline: May 22
 , 2015.   For more information, see http://gandalf
 2015.dibris.unige.it/   The Programme Committee co
 rdially invites all researchers to submit their pa
 pers for presentation. Submission deadline is .
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>The a
 im of the symposium is to bring together researche
 rs from academia \n        and industry which are 
 actively working in the fields of Games, Automata,
  \n        Logics, and Formal Verification. The sy
 mposium covers an ample spectrum of \n        them
 es, ranging from theory to applications, and encou
 rages \n        cross-fertilization.\n      </p>\n
       <p>\n        Authors are invited to submit o
 riginal research or tool papers on \n        all r
 elevant topics in these areas. Papers focused on f
 ormal methods are especially \n        welcome. Pa
 pers discussing new ideas that are \n        at an
  early stage of development are also welcome. Abst
 ract submission deadline: May 22, 2015.\n      </p
 >\n    \n      \n      <p>For more information, se
 e\n        <a target="_blank" href="http://gandalf
 2015.dibris.unige.it/">http://gandalf2015.dibris.u
 nige.it/</a>\n      </p>\n    </div><div>\n      <
 p>\n        The Programme Committee cordially invi
 tes all researchers\n        to submit their\n    
     papers for presentation.\n        Submission d
 eadline is .\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2015/newsitem/6808/21-
 23-September-2015-Sixth-International-Symposium-on
 -Games-Automata-Logics-and-Formal-Verification-Gan
 dALF-2015-Genoa-Italy
END:VEVENT
END:VCALENDAR