Colloquium on the occasion of the 60th birthday of Peter Schroeder-Heister
The colloquium takes place in Tübingen at Schloß Hohentübingen, Seminarraum 165 on Sunday, 10 March in the afternoon (14h30-18h35), and will conclude with a dinner (19h30) at the restaurant Museum.
Program
14.30–14.55 | David Pearce (Madrid): A Logic for Problem Solving |
14.55–15.20 | Heinrich Herre (Leipzig): Principles of the onto-axiomatic method |
15.20–15.45 | Walter Hoering (Munich): Meta-laws in proof theory and philosophy of science |
15.45–16.10 | Gereon Wolters (Konstanz): The silence of the wolves: a meta-epistemological privilege of the Holy Inquisition then (Rome (1616)) and now (Germany (2013)) |
16.10–16.30 | Coffee Break |
16.30–16.55 | Bartosz Więckowski (Frankfurt): Natural deduction with term assumption rules |
16.55–17.20 | Ernst Zimmermann (Böblingen): The substructural realm in natural deduction |
17.20–17.45 | Marie Duží (Prague): A plea for beta-conversion by value |
17.45–18.10 | Pavel Materna (Prague): Why concepts cannot be functions |
18.10–18.35 | Gerhard Jäger (Bern): Inductive definitions and non-wellfounded proofs |
19.30 | Colloquium Dinner (Restaurant Museum) |
Directions
View Colloquium in a larger map