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/478/9-11
 -October-2003-Proof-Theory-Workshop-on-Logic-Found
 ational-Research-and-Metamathematics-WPT-03-
DTSTAMP:20030804T000000
SUMMARY:Proof Theory: Workshop on Logic, Foundatio
 nal Research, and Metamathematics (WPT'03)
DTSTART;VALUE=DATE:20031009
DTEND;VALUE=DATE:20031011
LOCATION:Münster, Germany
DESCRIPTION:The Workshop on Logic, Foundational Re
 search, and Metamathematics will take place in Mün
 ster, Germany, hosted by the Institut für Mathemat
 ische Logik und Grundlagenforschung at the Univers
 ity of Münster. It is intended as a forum for the 
 exchange of ideas and interaction between research
 ers working in different areas of proof theory.   
  For more information, see here or visit the works
 hop's homepage at http://www.math.uni-muenster.de/
 logik/wpt03/
X-ALT-DESC;FMTTYPE=text/html:\n      <p>\n        
 The Workshop on Logic, Foundational Research, and 
 Metamathematics will\n        take place in M&uuml
 ;nster, Germany, hosted by the \n        Institut 
 f&uuml;r Mathematische\n        Logik und Grundlag
 enforschung at the University of M&uuml;nster.  It
  is\n        intended as a forum for the exchange 
 of ideas and interaction between\n        research
 ers working in different areas of proof theory.\n 
      </p>\n    \n      <p>\n        For more infor
 mation, see <a class="longdescriptionlink" href="h
 ttps://www.illc.uva.nl/NewsandEvents/newsitem/478"
 >here</a>\n        or visit the workshop's homepag
 e at\n        <a target="_blank" href="http://www.
 math.uni-muenster.de/logik/wpt03/">http://www.math
 .uni-muenster.de/logik/wpt03/</a>\n      </p>\n   
  
URL:/NewsandEvents/Archives/2003/newsitem/478/9-11
 -October-2003-Proof-Theory-Workshop-on-Logic-Found
 ational-Research-and-Metamathematics-WPT-03-
END:VEVENT
END:VCALENDAR