FOM: colloquium in honor of Schwictenberg

Stephen G Simpson simpson at
Thu Mar 7 10:24:35 EST 2002

 ** Ein Bogen von der Beweistheorie zur Informatik **

 Colloquium on the occasion of the 60th birthday of

   Helmut Schwichtenberg

   Saturday, April 6th, 2002

 Mathematical Institute of the University of Munich


 - Gerhard Jaeger, Berne
 - Hans Leiss, Munich
 - Peter Paeppinghaus, Munich
 - Robert Staerk, Zurich
 - Anne Troelstra, Amsterdam
 - Jaco van de Pol, Amsterdam
 - Stan Wainer, Leeds

 The colloquium will start at 9am. In the evening there will be a
 birthday dinner at the restaurant "Weisses Braeuhaus". We would like
 to ask you to register for the dinner before March 25th using the
 following web address:

 For further information - also about accommodation and travel - please

 or contact us by e-mail:

 minlog at

 For the organization committee:
 Ulrich Berger, Reinhard Kahle, Ralph Matthes.

More information about the FOM mailing list