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