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