Thursday, 14.09.17
Zeit	Referent	Vortragstitel	Raum
09:00-09:15	opening		Y16G05
09:15-10:15	Nachum Dershowitz (School of Computer Science, Tel Aviv University)	Axiomatizing Computation	Y16G05
10:15-10:45	coffee break
10:45-11:45	Peter Schroeder-Heister (Wilhelm-Schickard-Institut, Universität Tübingen)	Axiomatic Thinking and Proof-Theoretic Semantics: The Intensional Perspective	Y16G05
11:45-14:00	lunch
14:00-15:00	Lorenz Halbeisen (ETHZ)	Ein Rahmen für die Metamathematik	Y16G05
15:00-16:00	Ulrich Felgner (Mathematisches Institut, Universität Tübingen)	Der Hilbertsche Kritizismus	Y16G05
16:00-16:30	coffee break
16:30-17:30	Wilfried Sieg (Department of Philosophy, Carnegie Mellon University)	Proofs as Objects: A Pivotal Thought	Y16G05
Friday, 15.09.17
Zeit	Referent	Vortragstitel	Raum
08:30-09:30	Domenico Giulini (Institut für Theoretische Physik, Universität Hannover)	Axiomatisation in Physics: Use and Fallacy	Y16G05
09:30-10:30	Fernando Ferreira (Departamento de Matemática, Universidade de Lisboa)	Ideal Elements and Their Removal	Y16G05
10:30-11:00	coffee break
11:00-12:00	John Bell (Department of Philosophy, Western University)	The Axiomatization of Continuity	Y16G05
12:00-14:00	lunch
14:00-15:00	Laurent Lafforgue (IHES)	Axiomatic Thinking According to Hilbert and to Grothendieck	Y16G05
15:00-16:00	Gerhard Jäger (Institute of Computer Science, University of Bern)	Axiomatic Systems: An Operational Perspective	Y16G05
16:00-16:30	coffee break
16:30-17:30	Steve Awodey (Department of Philosophy, Carnegie Mellon University)	Univalence as an Axiom for the Foundations of Mathematics	Y16G05