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/2016/newsitem/7270/14-
 16-September-2016-Seventh-International-Symposium-
 on-Games-Automata-Logics-and-Formal-Verification-G
 andALF-2016-Catania-Italy
DTSTAMP:20160407T000000
SUMMARY:Seventh International Symposium on Games, 
 Automata, Logics and Formal Verification (GandALF 
 2016), Catania, Italy
DTSTART;VALUE=DATE:20160914
DTEND;VALUE=DATE:20160916
LOCATION:Catania, 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 sympo
 sium covers an ample spectrum of themes, ranging f
 rom theory to applications, and encourages cross-f
 ertilization.   Invited speakers include Luca Bert
 olussi (Trieste, Italy), Joanna Golinska-Pilarek (
 Warsaw, Poland) and Arnaud Sangnier (Paris Diderot
 , France)   For more information, see http://ganda
 lf2016.dmi.unict.it   Authors are invited to submi
 t original research or tool papers on all relevant
  topics in these areas. Papers focused on formal m
 ethods are especially welcome. Papers discussing n
 ew ideas that are at an early stage of development
  are also welcome. Abstract submission deadline: M
 ay 20
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      s
 ymposium covers an ample spectrum of themes, rangi
 ng from\n      theory to applications, and encoura
 ges cross-fertilization.\n      </p>\n      <p>Inv
 ited speakers include Luca Bertolussi (Trieste, It
 aly), Joanna Golinska-Pilarek (Warsaw, Poland) and
  Arnaud Sangnier (Paris Diderot, France)\n      </
 p>\n    \n      \n      <p>For more information, s
 ee\n        <a target="_blank" href="http://gandal
 f2016.dmi.unict.it">http://gandalf2016.dmi.unict.i
 t</a>\n      </p>\n    </div><div>\n      <p>\n   
      Authors are invited to submit original resear
 ch 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 that are at an early stage of 
 development are also\n        welcome.\n         A
 bstract submission deadline: May 20\n      </p>\n 
      </div>
URL:/NewsandEvents/Archives/2016/newsitem/7270/14-
 16-September-2016-Seventh-International-Symposium-
 on-Games-Automata-Logics-and-Formal-Verification-G
 andALF-2016-Catania-Italy
END:VEVENT
END:VCALENDAR