PohlersFest at the WWU Institute for Mathematical Logic |
On the occasion of Wolfram Pohlers' retirement the Institute for Mathematical Logic in Münster sponsored a colloquium and a workshop which took place July 17-19, 2008. For the colloquium, we gratefully acknowlegde financial support from the University of Münster, from the DVMLG, and from Springer-Verlag.
Festschrift
A Festschrift will appear in 2010 in the ontos series in mathematical logic under the title Ways of Proof Theory, edited by Ralf Schindler.Schedule
The the colloquium took place in our lecture hall M 1 on Friday afternoon, July 18, 2008, and the workshop took place place in our lecture halls M 3 and M 5 on Thursday afternoon, Friday morning, and Saturday, July 17-19, 2008.
Colloquium
Location: Lecture hall M 1,
WWU Math and Computer Science Dept, Einsteinstr. 62.
Date: July 18, 2008.
Workshop
Building upon the tradition of "Proof Theory: Workshop on Logic, Foundadional Research, and Metamathematics (Workshop on Proof Theory 2003)" which was held Oct 9-11, 2003 (cf. Annals of Pure and Applied Logic Vol. 136, Issues 1-2 (Oct 2005), pp. 1--218), the Institute for Mathematical Logic in Münster sponsored a proof theory workshop which took place July 17-19, 2008. For the workshop, we gratefully acknowledge financial support from the DFG.
List of speakers and schedule
The workshop took place on Thursday afternoon, Friday morning and Saturday, July 17-19, 2008.
Thursday, July 17, 08. Location: Lecture hall M 3, WWU Math and Computer Science Dept, Einsteinstr. 62.
Friday, July 18, 08. Location: Lecture hall M 5, WWU Math and Computer Science Dept, Einsteinstr. 62.
Saturday, July 19, 08. Location: Lecture hall M 5, WWU Math and Computer Science Dept, Einsteinstr. 62.