Colloquium on the occasion of Helmut Schwichtenberg's 60th birthday

• To: types@cis.upenn.edu
• Subject: Colloquium on the occasion of Helmut Schwichtenberg's 60th birthday
• From: Reinhard Kahle <kahle@informatik.uni-tuebingen.de>
• Date: Tue, 5 Mar 2002 20:31:46 +0100 (MET)

** 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


Speakers:

- 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:

http://www.mathematik.uni-muenchen.de/~minlog/register.html

For further information - also about accommodation and travel - please
consult:

http://www.mathematik.uni-muenchen.de/~minlog/index.e.html

or contact us by e-mail:

minlog@mathematik.uni-muenchen.de


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

• Prev: Second Call For Papers: Computer Science Logic 2002 (CSL'02)
• Next: Special issue on Mechanising and Automating Mathematics
• Index(es):
  • Main
  • Thread