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/2013/newsitem/5016/29-
 31-August-2013-4th-International-Symposium-on-Game
 s-Automata-Logics-and-Formal-Verification-GandALF-
 2013-Borca-di-Cadore-Italy
DTSTAMP:20130428T000000
SUMMARY:4th International Symposium on Games, Auto
 mata, Logics, and Formal Verification (GandALF 201
 3), Borca di Cadore, Italy
DTSTART;VALUE=DATE:20130829
DTEND;VALUE=DATE:20130831
LOCATION:Borca di Cadore, 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.    Invited Speakers: Alessandro Cimat
 ti (ITC-IRST, Italy), Thomas Henzinger (IST, Austr
 ia) and Christof Loeding (University of Aachen, Ge
 rmany).    Please visit the conference website htt
 p://gandalf.di.univr.it/ for more information.    
 Authors are invited to submit original research or
  tool papers on all relevant topics in these areas
 . Papers focused on formal methods are especially 
 welcome. Papers discussing new ideas that are at a
 n early stage of development are also welcome. Abs
 tract submission deadline: May 1, 2013.
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      <p>\n        Invited Speakers: Alessand
 ro Cimatti (ITC-IRST, Italy),\n        Thomas Henz
 inger (IST, Austria) and\n        Christof Loeding
  (University of Aachen, Germany).\n      </p>\n   
  \n      \n      <p>\n        Please visit the con
 ference website\n        <a target="_blank" href="
 http://gandalf.di.univr.it/">http://gandalf.di.uni
 vr.it/</a> for more information.\n      </p>\n    
 </div><div>\n      <p>\n        Authors are invite
 d to submit original research or tool papers\n    
     on all relevant topics in these areas.  Papers
  focused on\n        formal methods are especially
  welcome. Papers discussing new\n        ideas tha
 t are at an early stage of development are also\n 
        welcome.  Abstract submission deadline: May
  1, 2013.\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2013/newsitem/5016/29-
 31-August-2013-4th-International-Symposium-on-Game
 s-Automata-Logics-and-Formal-Verification-GandALF-
 2013-Borca-di-Cadore-Italy
END:VEVENT
END:VCALENDAR