Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: 22-23 June 2007
Location: 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 . For more information, see http://www.mathematik.uni-muenchen.de/~pschust/puc2.html.

Please note that this newsitem has been archived, and may contain outdated information or links.