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/2011/newsitem/3673/15-
 17-June-2011-Second-International-Symposium-on-Gam
 es-Automata-Logics-and-Formal-Verification-GandALF
 -2011-Minori-Italy
DTSTAMP:20110602T000000
SUMMARY:Second International Symposium on Games, A
 utomata, Logics, and Formal Verification (GandALF 
 2011), Minori, Italy
DTSTART;VALUE=DATE:20110615
DTEND;VALUE=DATE:20110617
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.  Invited speakers: Thomas
  Colcombet (CNRS), Erich Graedel (Aachen Universit
 y), Moshe Vardi (Rice University).  For more infor
 mation, see http://gandalf.dia.unisa.it/   Authors
  are invited to submit original research or tool p
 apers on any relevant topic in these areas. Papers
  discussing new ideas that are at an early stage o
 f development are also welcome. Papers focused on 
 formal methods are especially welcome. Abstract su
 bmission deadline: March 13, 2011.
X-ALT-DESC;FMTTYPE=text/html:<div>\n        <p>The
  aim of the symposium is to bring together researc
 hers\n        from academia and industry which are
  actively working in the\n        fields of Games,
  Automata, Logics, and Formal\n        Verificatio
 n. The idea is to cover an ample spectrum of\n    
     themes, ranging from theory to concrete applic
 ations, and to\n        stimulate cross-fertilizat
 ion.</p>\n        <p>Invited speakers: Thomas Colc
 ombet (CNRS), Erich Graedel (Aachen University), M
 oshe Vardi (Rice University).</p>\n    \n      \n 
        <p>For more information, see <a target="_bl
 ank" href="http://gandalf.dia.unisa.it/">http://ga
 ndalf.dia.unisa.it/</a></p>\n\n    </div><div>\n  
     <p>\n        Authors are invited to submit ori
 ginal research or tool papers\n        on any rele
 vant topic in these areas. Papers discussing new\n
         ideas that are at an early stage of develo
 pment are also\n        welcome.  Papers focused o
 n formal methods are especially\n        welcome. 
  Abstract submission deadline: March 13, 2011.\n  
     </p>\n      </div>
URL:/NewsandEvents/Archives/2011/newsitem/3673/15-
 17-June-2011-Second-International-Symposium-on-Gam
 es-Automata-Logics-and-Formal-Verification-GandALF
 -2011-Minori-Italy
END:VEVENT
END:VCALENDAR