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/2006/newsitem/1187/3-4
 -April-2006-Thirteenth-Workshop-on-Automated-Reaso
 ning-University-of-Bristol-Bristol-England
DTSTAMP:20060209T000000
SUMMARY:Thirteenth Workshop on Automated Reasoning
 , University of Bristol, Bristol, England
DTSTART;VALUE=DATE:20060403
DTEND;VALUE=DATE:20060404
LOCATION:University of Bristol, Bristol, England
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.   We invite inter
 ested persons to submit a camera-ready, two-page a
 bstract about recent work or work in progress, or 
 a system description. Anyone wishing to attend but
  not interested in presenting should send a shorte
 r position statement (1/2 - 1 page).    Deadline f
 or submission of papers is February 10th, 2006. Fo
 r more information, see here, http://www.csc.liv.a
 c.uk/~clare/ARW/about.html or http://www.cs.nott.a
 c.uk/~mxw/arw06/
X-ALT-DESC;FMTTYPE=text/html:\n      <p>\nContinui
 ng the highly successful series of Workshops on Au
 tomated Reasoning, this event will provide an info
 rmal forum for the automated reasoning community. 
 The ARW workshop series aims to bring together res
 earchers from all areas of automated reasoning in 
 order to foster links and facilitate cross-fertili
 sation of ideas among researchers from various dis
 ciplines; among researchers from academia, industr
 y and government; and between theoreticians and pr
 actitioners.\n      </p>\n      <p>We invite inter
 ested persons to submit a camera-ready, two-page a
 bstract about recent work or work in progress, or 
 a system description. Anyone wishing to attend but
  not interested in presenting should send a shorte
 r position statement (1/2 - 1 page).\n      </p>\n
     \n      <p>\n        Deadline for submission o
 f papers is February 10th, 2006.\n        For more
  information, see  <a class="longdescriptionlink" 
 href="https://www.illc.uva.nl/NewsandEvents/newsit
 em/1187">here</a>,\n        <a target="_blank" hre
 f="http://www.csc.liv.ac.uk/~clare/ARW/about.html"
 >http://www.csc.liv.ac.uk/~clare/ARW/about.html</a
 >\n        or\n        <a target="_blank" href="ht
 tp://www.cs.nott.ac.uk/~mxw/arw06/">http://www.cs.
 nott.ac.uk/~mxw/arw06/</a>\n      </p>\n    
URL:/NewsandEvents/Archives/2006/newsitem/1187/3-4
 -April-2006-Thirteenth-Workshop-on-Automated-Reaso
 ning-University-of-Bristol-Bristol-England
END:VEVENT
END:VCALENDAR