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/2003/newsitem/432/23-J
 une---4-July-2003-Summer-School-and-Workshop-on-Pr
 oof-Theory-Computation-and-Complexity
DTSTAMP:20030513T000000
SUMMARY:Summer School and Workshop on\n           
      Proof Theory, Computation and Complexity
DTSTART;VALUE=DATE:20030623
DTEND;VALUE=DATE:20030704
LOCATION:T.U. Dresden, Germany
DESCRIPTION:The summer school consists of eight ad
 vanced courses; the workshop is integral part of t
 he school and takes place in the last two days. As
  with last years events on 'Proof Theory and Compu
 tation' (Dresden) and 'Proof, Computation, Complex
 ity' (Tübingen), we aim at a meeting where people 
 have plenty of time to exchange ideas.   Registrat
 ion is requested before May 25, 2003. For more inf
 ormation and a course schedule, please see our web
 site at http://www.ki.inf.tu-dresden.de/~guglielm/
 WPT2/.
X-ALT-DESC;FMTTYPE=text/html:\n      <p>\n        
 The summer school consists of eight advanced cours
 es; the workshop is \n        integral part of the
  school and takes place in the last two days. As \
 n        with last years events on 'Proof Theory a
 nd Computation' (Dresden) \n        and 'Proof, Co
 mputation, Complexity' (T&uuml;bingen), we aim at 
 a \n        meeting where people have plenty of ti
 me to exchange ideas.\n      </p>\n    \n      <p>
 Registration is requested before May 25, 2003. \n 
         For more information and a course schedule
 , please see\n         our website at\n         <a
  target="_blank" href="http://www.ki.inf.tu-dresde
 n.de/~guglielm/WPT2/">http://www.ki.inf.tu-dresden
 .de/~guglielm/WPT2/</a>.\n      </p>\n    
URL:/NewsandEvents/Archives/2003/newsitem/432/23-J
 une---4-July-2003-Summer-School-and-Workshop-on-Pr
 oof-Theory-Computation-and-Complexity
END:VEVENT
END:VCALENDAR
