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 |