Logic List Mailing Archive

Colloquium for Wilfried Buchholz's 60th Birthday

4-5 April 2008
Munich, Germany

Honorary Colloquium on Occasion of Wilfried Buchholz' 60th Birthday
(April 4 and 5, 2008, Munich)

   ---Call for contribution and participation---

On April 4 and 5, 2008, the Mathematical Institute of the University of
Munich will have an honorary colloquium and workshop on occasion of Wilfried
Buchholz' 60th Birthday.

The workshop will be very informal with talks of 30 minutes each.
Contributions in all areas of proof theory are very welcome. The workshop
will have no proceedings, so that articles submitted elsewhere can be
presented as well. Work in progress is also possible. Please send title and
abstract of proposed talks to the organisers by February 11, 2008.

To participate in the workshop please register by sending an email to the
organisers by Mar 3, 2008. Please also mention if you need help in finding
accommodation. There is no registration fee. However, in order to finance
the coffee breaks, a cookie fee of about 15 Euro, which also includes the
breakfast will be payable in cash on the spot.

For more details see
http://www.mathematik.uni-muenchen.de/~gamma0/Buchholz/

Klaus Aehlig   <aehlig@mathematik.uni-muenchen.de>
Albert Ziegler <aziegler@mathematik.uni-muenchen.de>