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/2007/newsitem/1982/14-
 15-December-2007-Workshop-on-Automata-and-Logic-Hi
 story-and-Perspectives-Aachen-Germany
DTSTAMP:20070909T000000
SUMMARY:Workshop on Automata and Logic, History an
 d Perspectives, Aachen, Germany
DTSTART;VALUE=DATE:20071214
DTEND;VALUE=DATE:20071215
LOCATION:Aachen, Germany
DESCRIPTION:The workshop, which is held on the occ
 asion of Wolfgang Thomas's 60th birthday, is devot
 ed to the theory of automata and its connection to
  mathematical logic, verification, and games.   Th
 e workshop will take place in Aachen, December 14 
 - 15, 2007 at the premises of the Computer Science
  Department of the RWTH Aachen. It will start on F
 riday, December 14, in the early afternoon, and wi
 ll finish on Saturday, December 15, around noon. T
 here is no registration fee, but registration is m
 andatory via the workshop homepage.   For more inf
 ormation, see http://www-i2.informatik.rwth-aachen
 .de/Events/WAL07/
X-ALT-DESC;FMTTYPE=text/html:\n      <p>The worksh
 op, which is held on the occasion of Wolfgang Thom
 as's 60th\n        birthday, is devoted to the the
 ory of automata and its connection to\n        mat
 hematical logic, verification, and games.\n      <
 /p>\n      <p>The workshop will take place in Aach
 en, December 14 - 15, 2007 at the\n        premise
 s of the Computer Science Department of the RWTH A
 achen. It will\n        start on Friday, December 
 14, in the early afternoon, and will finish on\n  
       Saturday, December 15, around noon. There is
  no registration fee, but\n        registration is
  mandatory via the workshop homepage.\n      </p>\
 n    \n      <p>For more information, see\n       
  <a target="_blank" href="http://www-i2.informatik
 .rwth-aachen.de/Events/WAL07/">http://www-i2.infor
 matik.rwth-aachen.de/Events/WAL07/</a>\n      </p>
 \n    
URL:/NewsandEvents/Archives/2007/newsitem/1982/14-
 15-December-2007-Workshop-on-Automata-and-Logic-Hi
 story-and-Perspectives-Aachen-Germany
END:VEVENT
END:VCALENDAR