22-23 June 2007, Festkolloquium 65th Birthday of Helmut Schwichtenberg & Workshop "Proof and Computation II", Munich, Germany

Speakers include Ulrich Berger and Stanley Wainer (Festkolloquium) and Peter Aczel, Hajime Ishihara, Gerhard Jaeger, Ralph Matthes, Erik Palmgren, Monika Seisenberger and Anton Setzer (Workshop).

Please register no later than than June 1, 2007 by email to ratiu at math.lmu.de. For more information, see http://www.mathematik.uni-muenchen.de/~pschust/puc2.html.