Logic List Mailing Archive

Reminder: Workshop on Proof Theory and Pohlers-Festkolloquium in Muenster (October 2003)

REMINDER:

In Honour of the 60th birthday of Wolfram Pohlers there will be two
proof-theory activities in Muenster in the month of October 2003.

  "Workshop on Proof Theory" 
  (Speakers: Arai, Baaz, Beklemishev, Buchholz, Buss, Cantini, Carlson,
   Jaeger, Mints, Rathjen, Troelstra, Wainer, Weiermann)
  Oct 9 - Oct 11
  http://www.math.uni-muenster.de/logik/wpt03

and 

  Festkolloquium W. Pohlers
  (Speakers: Diller, Koepke, Moerdijk)
  Oct 17
  http://www.math.uni-muenster.de/logik/events/2003/kolloquium.html