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 - 9h10Registration
9h10 - 9h15Opening
9h15 - 10h15Francesca Poggiolesi: Counterfactual logics: natural deduction calculi and sequent calculi
10h15 - 10h45Coffee break
10h45 - 11h15Sergey Melikhov: A joint logic of problems and propositions, a modified BHK-interpretation and proof-relevant topological models of intuitionistic logic
11h15 - 11h45Torben Braüner: Seligman-style deduction for hybrid modal logic
11h45 - 12h15Grigory Olkhovikov: Truth-value gaps and paradoxes of material implication
12h15 - 14h15Lunch (Wirtshaus Lichtenstein)
14h15 - 15h15Paul Egré: Negating indicative conditionals
15h15 - 15h45Coffee break
15h45 - 16h15Michael Cohen: Explanatory Justice: The Case of Disjunctive Explanations
16h15 - 17h15Zoran Petrić: Cuts and Graphs
17h15 - 18h15Kosta Došen: An introduction to deduction
20h Conference dinner (Wirtshaus Casino am Neckar)


Sunday, 24 August 2014

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