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/1736/19-
 20-April-2007-Automated-Reasoning-Workshop-2007-Lo
 ndon
DTSTAMP:20070218T000000
SUMMARY:Automated Reasoning Workshop 2007, London
DTSTART;VALUE=DATE:20070419
DTEND;VALUE=DATE:20070420
LOCATION:London
DESCRIPTION:Continuing the highly successful serie
 s of Workshops on Automated Reasoning, this event 
 will provide an informal forum for the automated r
 easoning community. The ARW workshop series aims t
 o bring together researchers from all areas of aut
 omated reasoning in order to foster links and faci
 litate cross-fertilisation of ideas among research
 ers from various disciplines; among researchers fr
 om academia, industry and government; and between 
 theoreticians and practitioners.    For more infor
 mation, see http://www.doc.ic.ac.uk/crg/events/ARW
 07/.    Abstract submission deadline: 16 March 200
 7 Deadline for student grants: 9 March 2007
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\nCon
 tinuing the highly successful series of Workshops 
 on Automated Reasoning, this event will provide an
  informal forum for the automated reasoning commun
 ity. The ARW workshop series aims to bring togethe
 r researchers from all areas of automated reasonin
 g in order to foster links and facilitate cross-fe
 rtilisation of ideas among researchers from variou
 s disciplines; among researchers from academia, in
 dustry and government; and between theoreticians a
 nd practitioners.\n      </p>\n    \n      <p>\n  
     \n        For more information, see <a target=
 "_blank" href="http://www.doc.ic.ac.uk/crg/events/
 ARW07/">http://www.doc.ic.ac.uk/crg/events/ARW07/<
 /a>.\n      </p>\n    </div><div>\n        Abstrac
 t submission deadline: 16 March 2007\n        Dead
 line for student grants: 9 March 2007\n      </div
 >
URL:/NewsandEvents/Archives/2007/newsitem/1736/19-
 20-April-2007-Automated-Reasoning-Workshop-2007-Lo
 ndon
END:VEVENT
END:VCALENDAR