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/2010/newsitem/3268/17-
 18-June-2010-1st-Symposium-on-Games-Automata-Logic
 s-and-Formal-Verification-GandALF-2010-Minori-Ital
 y
DTSTAMP:20100304T000000
SUMMARY:1st Symposium on Games, Automata, Logics, 
 and  Formal Verification (GandALF 2010), Minori, I
 taly
DTSTART;VALUE=DATE:20100617
DTEND;VALUE=DATE:20100618
LOCATION:Minori, 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 concrete applications, and to stimul
 ate cross-fertilization.   For more information, s
 ee http://gandalf.dia.unisa.it/   Authors are invi
 ted to submit original research or tool papers on 
 any relevant topic in these areas. Papers discussi
 ng new ideas that are at an early stage of develop
 ment are also welcome. Papers focused on formal me
 thods are especially welcome. Abstract submission 
 deadline: March 21, 2010
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 concrete applications, an
 d to stimulate\n      cross-fertilization.\n      
 </p>\n    \n      \n      <p>For more information,
  see\n        <a target="_blank" href="http://gand
 alf.dia.unisa.it/">http://gandalf.dia.unisa.it/</a
 >\n      </p>\n    </div><div>\n      <p>\n       
  Authors are invited to submit original research o
 r tool papers\n        on any relevant topic in th
 ese areas. Papers discussing new\n        ideas th
 at are at an early stage of development are also\n
         welcome.  Papers focused on formal methods
  are especially\n        welcome.  Abstract submis
 sion deadline: March 21, 2010\n      </p>\n      <
 /div>
URL:/NewsandEvents/Archives/2010/newsitem/3268/17-
 18-June-2010-1st-Symposium-on-Games-Automata-Logic
 s-and-Formal-Verification-GandALF-2010-Minori-Ital
 y
END:VEVENT
END:VCALENDAR