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/2012/newsitem/4397/6-8
 -September-2012-3rd-International-Symposium-on-Gam
 es-Automata-Logics-and-Formal-Verification-GandALF
 -2012-Naples-Italy
DTSTAMP:20120318T000000
SUMMARY:3rd International Symposium on Games, Auto
 mata, Logics, and Formal Verification (GandALF 201
 2), Naples, Italy
DTSTART;VALUE=DATE:20120906
DTEND;VALUE=DATE:20120908
LOCATION:Naples, 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 website
  (http://www.gandalf.unina.it) for more informatio
 n.    Authors are invited to submit original resea
 rch or tool papers on all relevant topics in these
  areas. Papers focused on formal methods are espec
 ially welcome. Papers discussing new ideas that ar
 e at an early stage of development are also welcom
 e. Abstract submission deadline: May 9, 2012
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>The a
 im of the symposium is to bring together researche
 rs\n      from academia and industry which are act
 ively working in the\n      fields of Games, Autom
 ata, Logics, and Formal Verification. The\n      i
 dea is to cover an ample spectrum of themes, rangi
 ng from\n      theory to applications, and stimula
 te\n      cross-fertilization.\n      </p>\n    \n
       \n      <p>Please visit the conference websi
 te\n      (<a target="_blank" href="http://www.gan
 dalf.unina.it">http://www.gandalf.unina.it</a>) fo
 r more information.\n      </p>\n    </div><div>\n
       <p>\n      Authors are invited to submit ori
 ginal\n      research or tool papers on all releva
 nt topics in these areas.\n      Papers focused on
  formal methods are especially welcome. \n      Pa
 pers discussing new ideas that are at an early sta
 ge of\n      development are also welcome.\n      
 Abstract submission deadline: May 9, 2012\n      <
 /p>\n      </div>
URL:/NewsandEvents/Archives/2012/newsitem/4397/6-8
 -September-2012-3rd-International-Symposium-on-Gam
 es-Automata-Logics-and-Formal-Verification-GandALF
 -2012-Naples-Italy
END:VEVENT
END:VCALENDAR