Conference Schedule

The conference will start on Saturday, 23 August at 9h00 and end on Sunday, 24 August at 17h30.


  • Invited talks will be 60min, including 15min for discussion.
  • Contributed talks will be 30min, including 10min for discussion.


Saturday, 23 August 2014

8h30 - 9h10 Registration
9h10 - 9h15 Opening
9h15 - 10h15 Francesca Poggiolesi: Counterfactual logics: natural deduction calculi and sequent calculi
10h15 - 10h45 Coffee break
10h45 - 11h15 Sergey Melikhov: A joint logic of problems and propositions, a modified BHK-interpretation and proof-relevant topological models of intuitionistic logic
11h15 - 11h45 Torben Braüner: Seligman-style deduction for hybrid modal logic
11h45 - 12h15 Grigory Olkhovikov: Truth-value gaps and paradoxes of material implication
12h15 - 14h15 Lunch (Wirtshaus Lichtenstein)
14h15 - 15h15 Paul Egré: Negating indicative conditionals
15h15 - 15h45 Coffee break
15h45 - 16h15 Michael Cohen: Explanatory Justice: The Case of Disjunctive Explanations
16h15 - 17h15 Zoran Petrić: Cuts and Graphs
17h15 - 18h15 Kosta Došen: An introduction to deduction
20h Conference dinner (Wirtshaus Casino am Neckar)


Sunday, 24 August 2014

9h00 - 10h00 Michel Bourdeau: Comte's « Théorie fondamentale des hypothèses »
10h00 - 10h30 Coffee break
10h30 - 11h00 Erdinç Sayan: How do vacuous truths become laws?
11h00 - 11h30 Guillaume Schlaepfer: Scientific modeling: a two layer based hypothetical reasoning
11h30 - 12h00 Reinhard Kahle: Axioms as Hypotheses
12h00 - 14h00 Lunch (Restaurant Mauganeschtle)
14h00 - 15h00 Andrzej Indrzejczak: Hypersequents and Linear Time
15h00 - 15h30 Coffee break
15h30 - 16h00 Nissim Francez: On a dogma of Proof-Theoretic Semantics: generalising canonicity of derivations
16h00 - 16h30 Paolo Pistone: Rules, types and the transcendence of second order logic
16h30 - 17h30 Arnon Avron: Using Assumptions in Gentzen-type Systems