 |
Solomon Feferman (Stanford)The proof theory of classical and constructive inductive definitions: A forty year saga. |
 |
Justus Diller (Münster)Laudatio. |
 |
Michael Rathjen (Leeds)The emergence of infinitary impredicative proof theory. |
 |
Arnold Beckmann (Swansea)Proof theory and weak arithmetics. |
 |
The rector of Münster University,Prof. Ursula Nelles. |
 |
The Chairman of our Department,Prof. Joachim Cuntz. |
 |
|
 |
The Pohlers Family |
 |
Lev Beklemishev (Moscow)Kripke models for provability logic GLP." |
 |
Wilfried Buchholz (Munich)(Co)recursion and notations for infinitary derivations. |
 |
Tim Carlson (Columbus)Progress on Patterns of Embeddings. |
 |
Laura Crosilla (Leeds)Explicit Constructive Set Theory I. |
 |
Andrea Cantini (Firenze)Explicit Constructive Set Theory II. |
 |
Gerhard Jäger (Bern)Operations and Sets. |
 |
Reinhard Kahle (Coimbra)The Universal Set and Diagonalization. |
 |
Bob Lubarsky (Boca Raton)ITTM Oracles for Well-Foundedly Many Convergence Questions. |
 |
Arnon Avron (Tel Aviv)Syntactic Safety and Predicative Set Theory. |
 |
Helmut Schwichtenberg (Munich)Computational Contents of Proofs. |
 |
Monika Seisenberger (Swansea)New ways of extracting algorithms from proofs. |
 |
Thomas Strahm (Bern)Primitive recursive selection functions for existential assertions over abstract algebras" (joint work with with Jeffery I. Zucker). |
 |
Stan Wainer (Leeds)Pointwise Induction and Slow Growing Bounds. |
 |
Break 1 |
 |
Break 2 |
 |
Break 3 |
 |
Party 1 |
 |
Party 2 |
 |
Party 3 |
 |
Party 4 |
 |
Party 5 |
Back to my home page.