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

**Photos of the event.**

Some more photos were taken of (most of) the speakers.

- Gerhard Jäger:
**Towards a Proper Proof Theory of the Modal $\mu$-Calculus**slides - Wolfram Pohlers (photo):
**Ordinal Notations and Controlling Operators** - Michael Rathjen (photo):
**$\Pi^0_2$ Conservation in Proof Theory**slides - Stan Wainer (photo):
**Tree Ordinals and Proof Theoretic Bounding Functions**slides

- Andreas Abel (photo):
**Normalization by Evaluation for Martin-Löf Type Theory**slides - Ryota Akiyoshi:
**An ordinal-free proof of cut-elimination theorem for $\Pi^1_1$-analysis with $\omega$-rule** - Luca Alberucci:
**The modal $\mu$-Calculus Hierarchy over restricted Classes of Transition Systems**slides - Matthias Baaz (photo):
**Cut-elimination by resolution and interpolation** - Arnold Beckmann:
**Proof Notations for Bounded Arithmetic**slides - Herman Ruge Jervell (photo):
**Finite trees as ordinals**slides - Franz-Viktor Kuhlmann (photo):
**What is the connection between resolution of singularities and decidability?**slides-1 slides-2 slides-3 slides-4 - Dieter Probst (photo):
**$\Pi_3$-reflection in Kripke-Platek set theory and nonmonotone inductive definitions from the class $[\Pi^0_1, \ldots, \Pi^0_1]$.**slides - Anton Setzer (photo):
**The strength of Martin-Löf Type Theory with the logical framework**slides - Daria Spescha:
**Elementary explicit types and polynomial time operations**slides

The colloquium and workshop will started Friday, April 4, 2008 at 3.45pm and continued through the whole of Saturday. An optional joint breakfast was held on Sunday morning. It will took place in the mathematical institute in Theresienstraße 39.

The schedule and the final version of the conference leaflet are available online.

Since the event is over, there is no point in registering any more. We had a walk-in registration. Nevertheless, we did appreciate if you could announce your participation by sending an email to one of Klaus Aehlig, Markus Latte, and Albert Ziegler.

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 on Sunday, was be payable in cash on the spot.

Andreas Abel, Klaus Aehlig, Ryota Akiyoshi, Luca Alberucci, Matthias Baaz, Sebastian Bauer, Arnold Beckmann, Ulrich Berger, Peter Berry, Wilfried Buchholz, Marco Denini, Birgit Elbl, Simon Huber, Gerhard Jäger, Herman Ruge Jervell, Franz-Viktor Kuhlmann, Markus Latte, Hans Leiß, Grisha Mints, Karl-Heinz Niggl, Peter Päppinghaus, Wolfram Pohlers, Dieter Probst, Florian Ranzi, Michael Rathjen, Peter Schuster, Helmut Schwichtenberg, Monika Seisenberger, Anton Setzer, Daria Spescha, Nik Sultana, Stan Wainer, Albert Ziegler, and Wolfgang Zuber participated in the Colloquium and Workshop.

$Date: 2008-04-14 17:38:15 $