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  
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: Wilfrid Hodges
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)