Conference Schedule

Friday, 21 February, 2014	Saturday, 22 February, 2014	Sunday, 23 February, 2014
9.00 Registration opens
9.15–9.30 Welcome
9.30–10.30 Peter Schroeder-Heister: Constructive vs proof-theoretic semantics: functional and non-functional aspects	9.30–10.30 Peter Schuster: Folding Up (Disjunctions)	9.30–10.30 Fritz Hamm: Referential Intensions
10.30–11.00 Coffee Break	10.30–11.00 Coffee Break	10.30–11.00 Coffee Break
11.00–12.00 Walter Dean: On the interpretation of first-order intuitionistic logic in the Kreisel-Goodman Theory of Constructions	11.00–12.00 Stewart Shapiro: Functions in point free, constructive space	11.00–12.00 Göran Sundholm: Functions
12.00–13.00 Yuta Takahashi: On the Finitist Interpretation of Implications by Gentzen's 1935 Consistency Proof	12.00–13.00 Giulio Guerrieri & Mattia Petrolo: Natural deduction for intuitionistic differential linear logic	12.00–13.00 Dag Prawitz: The interdependency of the notions of proof, function, and construction
13.00–15.00 Lunch Break (Stern / Forelle)	13.00–15.00 Lunch Break (Ratskeller / Wurstküche)	13.00 Closing
		13.15 Lunch (Mauganeschtle)
15.00–16.00 Thierry Coquand: Type theory and constructive mathematics	15.00–16.00 Stefania Centrone: Bernard Bolzano on the eliminability of apagogic proofs
16.00–16.30 Coffee Break	16.00–16.30 Coffee Break
16.30–17.30 Alberto Naibo: Typed vs. untyped proof-theory	16.30–17.30 Mark van Atten: The Creating Subject and infinite demonstrations
17.30–18.30 Reinhard Kahle & Anton Setzer: The limits of the Curry-Howard isomorphism	17.30–18.30 Ryota Akiyoshi: Brouwer's Proof of the Bar Induction Revisited
	20.00 Conference Dinner (La Cantinella)