[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

We are pleased to announce two special events
to be held on June 22/23, 2007 at the
Mathematical Institute of the
Ludwig-Maximilians-Universit"at M"unchen.

Festkolloquium on the occasion of Helmut Schwichtenberg's 65th birthday
to be held on Friday June 22, 2007 from 3 p.m. by the
Faculty of Mathematics, Computer Science, and Statistics of the LMU.

Workshop    "Proof and Computation II"
complementing the Festkolloquium and taking place on
Saturday June 23, 2007 at the Mathematical Institute of the LMU.


Festkolloquium: Ulrich Berger and Stanley Wainer

Workshop: Peter Aczel, Hajime Ishihara, Gerhard Jaeger, Ralph Matthes,
          Erik Palmgren, Monika Seisenberger, and Anton Setzer.


Friday 22 June: 3-6 p.m. Festkolloquium (H"orsaal B051)
                7-? p.m. Social Dinner

Saturday 23 June: 9-12 a.m. and 3-6 p.m. Workshop (tentative)

More information:
http://www.mathematik.uni-muenchen.de/~pschust/puc2.html (not before May 20).


No later than June 1, 2007 by email to

Please specify the intended duration of stay (Friday, Saturday, or both);
whether you need assistance with booking accommodation (if so, then please
provide arrival and departure date); and if you would like to attend the
social dinner (a' la carte) on Friday from 7 p.m. in the Ratskeller.

There will be no registration fee, but voluntary contributions to the
expenses for the coffee breaks will be appreciated.

Wilfried Buchholz
Peter Schuster

This message was sent using IMP, the Internet Messaging Program.

Reply via email to