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/2014/newsitem/5586/10-
 12-September-2014-5th-International-Symposium-on-G
 ames-Automata-Logics-and-Formal-Verification-GandA
 LF-2014-Verona-Italy
DTSTAMP:20140225T000000
SUMMARY:5th International Symposium on Games, Auto
 mata, Logics, and Formal Verification (GandALF 201
 4), Verona, Italy
DTSTART;VALUE=DATE:20140910
DTEND;VALUE=DATE:20140912
LOCATION:Verona, 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 idea 
 is to cover an ample spectrum of themes, ranging f
 rom theory to applications, and stimulate cross-fe
 rtilization.    Please visit the conference websit
 e http://gandalf2014.di.univr.it for more informat
 ion.    Authors are invited to submit original res
 earch or tool papers on all relevant topics in the
 se areas. Papers focused on formal methods are esp
 ecially welcome. Papers discussing new ideas that 
 are at an early stage of development are also welc
 ome. Abstract submission deadline: May 10th, 2014.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\n   
      The aim of the symposium is to bring together
  researchers from\n        academia and industry w
 hich are actively working in the fields\n        o
 f Games, Automata, Logics, and Formal Verification
 . The idea\n        is to cover an ample spectrum 
 of themes, ranging from theory\n        to applica
 tions, and stimulate cross-fertilization.\n      <
 /p>\n    \n      \n      <p>\n        Please visit
  the conference website\n        <a target="_blank
 " href="http://gandalf2014.di.univr.it">http://gan
 dalf2014.di.univr.it</a> for more information.\n  
     </p>\n    </div><div>\n      <p>\n        Auth
 ors are invited to submit original research or too
 l papers\n        on all relevant topics in these 
 areas.  Papers focused on\n        formal methods 
 are especially welcome. Papers discussing new\n   
      ideas that are at an early stage of developme
 nt are also\n        welcome.  Abstract submission
  deadline: May 10th, 2014.\n      </p>\n      </di
 v>
URL:/NewsandEvents/Archives/2014/newsitem/5586/10-
 12-September-2014-5th-International-Symposium-on-G
 ames-Automata-Logics-and-Formal-Verification-GandA
 LF-2014-Verona-Italy
END:VEVENT
END:VCALENDAR