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.



14.30–14.55David Pearce (Madrid): A Logic for Problem Solving
14.55–15.20Heinrich Herre (Leipzig): Principles of the onto-axiomatic method
15.20–15.45Walter Hoering (Munich): Meta-laws in proof theory and philosophy of science
15.45–16.10Gereon 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.30Coffee Break
16.30–16.55Bartosz Więckowski (Frankfurt): Natural deduction with term assumption rules
16.55–17.20Ernst Zimmermann (Böblingen): The substructural realm in natural deduction
17.20–17.45Marie Duží (Prague): A plea for beta-conversion by value
17.45–18.10Pavel Materna (Prague): Why concepts cannot be functions
18.10–18.35Gerhard Jäger (Bern): Inductive definitions and non-wellfounded proofs
19.30Colloquium Dinner (Restaurant Museum)



View Colloquium in a larger map