Vienna, September 28 - 30, 2015
co-organised by the TU Vienna and the University of Bamberg
Formal logic can be viewed through the lens of game theory as witnessed by Lorenzen's dialogue game for intuitionistic logic. By connecting proofs on the one hand to winning strategies on the other hand one may strive for a deeper understanding of logical concepts like validity, (in)dependence, or possibility. Vice versa, one may investigate how certain properties of these games are reflected in the resulting logics. This workshop is intended to bring together the latest research in dialogical logic.
Invited Speakers 
Venue
Registration 
Schedule | 15:00 - 16:00 | Erik Krabbe | Quick, Quick, Slow: The Foxtrot of Completeness Proofs in Dialogue Logic [Talk: pdf Handout: pdf(ger) pdf(eng)] |
| 16:00 - 16:30 | Coffee break | |
| 16:30 - 17:10 | Martin Sticht | Multi-Agent Dialogue Games and Dialogue Sequents [Slides: pdf] |
| 17:10 - 18:10 | Michael Mendler | Game-theoretic Semantics of Synchronous Reactions. |
| 10:00 - 11:00 | Helge Rückert | Dialogue Games as a Semantics [Slides: pdf] |
| 11:00 - 11:30 | Coffee break | |
| 11:30 - 12:10 | Stefano Berardi | Games with Sequential Backtracking [Slides: pdf] |
| 12:10 - 14:00 | Lunch break | |
| 14:00 - 15:00 | Rohan French | Prover-Skeptic Games and Logical Pluralism |
| 15:00 - 15:30 | Coffee break | |
| 15:30 - 16:10 | Christian Fermüller | Lorenzen-style Dialogues and Substructural Sequent Systemsi [Slides: pdf] |
| 16:10 - 16:50 | Christoph Roschger / Matthias Hofer |
Giles Games, Vague Quantifiers, and Contexts [Slides: pdf] |
| 16:50 - 17:20 | Coffee break | |
| 17:20 - 18:40 | Round table | |
| 19:00 | Workshop Dinner |
Slides by Gianluigi Bellin are available » here.
Submission 
Contact 
