BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Upcoming-Events/newsitem
/478/9-11-October-2003-Proof-Theory-Workshop-on-Lo
gic-Foundational-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 \n
The Workshop on Logic, Foundational Research, and
Metamathematics will\n take place in Mü
;nster, Germany, hosted by the \n Institut
für Mathematische\n Logik und Grundlag
enforschung at the University of Mü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

\n \n \n For more infor
mation, see
here\n or visit the workshop's homepage
at\n http://www.math.
uni-muenster.de/logik/wpt03/\n

\n
URL:/NewsandEvents/Events/Upcoming-Events/newsitem
/478/9-11-October-2003-Proof-Theory-Workshop-on-Lo
gic-Foundational-Research-and-Metamathematics-WPT-
03-
END:VEVENT
END:VCALENDAR