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/2011/newsitem/3645/31-
 July---5-August-2011-The-23rd-International-Confer
 ence-on-Automated-Deduction-Wroclaw-Poland
DTSTAMP:20101118T000000
SUMMARY:The 23rd International Conference on Autom
 ated Deduction, Wroclaw, Poland
DTSTART;VALUE=DATE:20110731
DTEND;VALUE=DATE:20110805
LOCATION:Wroclaw, Poland
DESCRIPTION:CADE-23 is the 23rd International Conf
 erence on Automated Deduction, the major forum for
  the presentation of research in all aspects of au
 tomated deduction.    Topics of interest range fro
 m theoretical foundations to high-performance impl
 ementations in a wide variety of logics and logica
 l theories, methods, and applications.   For more 
 information, see http://cade23.ii.uni.wroc.pl/.   
 We invite high-quality submissions on the general 
 topic of automated deduction Submission Deadline f
 or abstracts: 1 February 2011.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\n   
      CADE-23 is the 23rd International Conference 
 on Automated Deduction,\n        the major forum f
 or the presentation of research in all aspects of\
 n        automated deduction.\n      </p>\n      <
 p>\n        Topics of interest range from theoreti
 cal foundations to\n        high-performance imple
 mentations in a wide variety of logics\n        an
 d logical theories, methods, and applications.\n  
     </p>\n    \n      \n      <p>For more informat
 ion, see <a target="_blank" href="http://cade23.ii
 .uni.wroc.pl/">http://cade23.ii.uni.wroc.pl/</a>.<
 /p>\n    </div><div>\n      <p>\n        We invite
  high-quality submissions on the general topic of\
 n        automated deduction\n        Submission D
 eadline for abstracts: 1 February 2011.\n      </p
 >\n      </div>
URL:/NewsandEvents/Archives/2011/newsitem/3645/31-
 July---5-August-2011-The-23rd-International-Confer
 ence-on-Automated-Deduction-Wroclaw-Poland
END:VEVENT
END:VCALENDAR