Conference Schedule

The conference will start on Friday, 8 March in the morning and end on Sunday, 10 March at 12h45.

 

Friday, 8 March, 2013	Saturday, 9 March, 2013	Sunday, 10 March, 2013
9.15–9.45 Welcome (Registration)
9.45–10.00 Opening
Chair: Peter Schroeder-Heister	Chair: Kosta Došen	Chair: Heinrich Wansing
10.00–11.00 Kosta Došen: Two Ways of General Proof Theory	9.45–10.45 Wilfrid Hodges: The choice of semantics as a methodological question	9.45–10.45 Jan von Plato: Explicit composition and its application in normalization proofs
11.00–11.30 Coffee Break	10.45–11.15 Coffee Break	10.45–11.15 Coffee Break
11.30–12.00 Yoshihiro Maruyama: On Paradoxes in Proof-Theoretic Semantics	11.15–12.15 Sergei N. Artëmov: On Brouwer-Heyting-Kolmogorov provability semantics	11.15–11.45 Walter Dean & Hidenori Kurokawa: Kreisel's second clause and the Theory of Constructions
12.00–13.00 Gabriele Usberti: Intuitionism, the Paradox of Knowability and Empirical Negation	12.15–13.15 Göran Sundholm: BHK and Brouwer's Theory of the Creative Subject	11.45–12.45 Dag Prawitz: Remarks on relations between Gentzen and Heyting inspired PTS
13.00–15.00 Lunch Break (Ratskeller / Wurstküche)	13.15–15.00 Lunch Break (Kelter / Alte Kunst)	12.45 Closing
		12.45–14.30 Lunch (Mauganeschtle / La Torre)
Chair: Sergei N. Artemov	Chair: Wilfrid Hodges
15.00–16.00 Reinhard Kahle: The mode of presentation	15.00–16.00 William W. Tait: Compositional semantics for predicate logic: Eliminating bound variables from formulas and deductions
16.00–16.30 Coffee Break	16.00–16.30 Coffee Break
16.30–17.30 Heinrich Wansing: A two-sorted typed lambda-calculus	16.30–17.30 Giovanni Sambin: Unification of logics by reflection	(14.30–19.00 Colloquium)
17.30–18.30 Lars Hallnäs: On the proof theoretic foundations of set theory	17.30–18.00 Roy Dyckhoff: Generalised elimination rules
		(19.30 Colloquium Dinner (Restaurant Museum))
	19.45 Conference Dinner (Restaurant Forelle)