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