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
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
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
\ n \nFor more information, see\n http://www-i2.infor matik.rwth-aachen.de/Events/WAL07/\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