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
\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übingen), we aim at a \n meeting where people have plenty of ti me to exchange ideas.\n
\n \nRegistration is requested before May 25, 2003. \n For more information and a course schedule , please see\n our website at\n http://www.ki.inf.tu-dresden .de/~guglielm/WPT2/.\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