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)