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

Conference schedule

Friday, 8 March, 2013 Saturday, 9 March, 2013 Sunday, 10 March, 2013
9.15-9.45 Welcome  
9.45-10.00 Opening
Chair: Peter Schroeder-Heister Chair: Chair:
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. Artemov: 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: Chair:
15.00-16.00 Reinhard Kahle: The mode of presentation 15.00-16.00 Lars Hallnäs: On the proof theoretic foundations of set theory  
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 William W. Tait: Compositional semantics for predicate logic: Eliminating bound variables from formulas and deductions 17.30-18.00 Roy Dyckhoff: Generalised elimination rules  
    (19.30 Colloquium Dinner (Restaurant Museum))
  19.45 Conference Dinner (Restaurant Forelle)