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/2008/newsitem/2291/10-
 11-August-2008-IJCAR-08-Workshop-on-Practical-Aspe
 cts-of-Automated-Reasoning-First-Call-for-Papers
DTSTAMP:20080327T000000
SUMMARY:IJCAR'08 Workshop on Practical Aspects of 
 Automated Reasoning\tFirst Call for Papers
DTSTART;VALUE=DATE:20080810
DTEND;VALUE=DATE:20080810
DESCRIPTION:The first Workshop on Practical Aspect
 s of Automated Reasoning will be held in August 20
 08, in Sydney, Australia. PAAR will be associated 
 with the 4th International Joint Conference on Aut
 omated Reasoning (IJCAR-2008).    Deadline for sub
 mission of abstracts: May 27th, 2008. For more inf
 ormation, see http://www.eprover.org/EVENTS/PAAR-2
 008/paar-2008.html
X-ALT-DESC;FMTTYPE=text/html:\n      <p>\n        
 The first Workshop on Practical Aspects of Automat
 ed Reasoning will be held in August 2008, in Sydne
 y, Australia. PAAR will be associated with the 4th
  International Joint Conference on Automated Reaso
 ning (IJCAR-2008).\n      </p>\n    \n      <p>\n 
        Deadline for submission of abstracts: May 2
 7th, 2008.\n        For more information, see <a t
 arget="_blank" href="http://www.eprover.org/EVENTS
 /PAAR-2008/paar-2008.html">http://www.eprover.org/
 EVENTS/PAAR-2008/paar-2008.html</a>\n      </p>\n 
    
URL:/NewsandEvents/Archives/2008/newsitem/2291/10-
 11-August-2008-IJCAR-08-Workshop-on-Practical-Aspe
 cts-of-Automated-Reasoning-First-Call-for-Papers
END:VEVENT
END:VCALENDAR