| Authors | Title | Paper | Talk |
|---|
| Sarah Grebing, Bernhard Beckert and Florian Böhl | Towards Evaluating the Usability of Interactive Theorem Provers |  | Jul 23 16:30 |
| Markus Bender | Combined Reasoning with Sets and Aggregation Functions | | Jul 23 17:00 |
| Marco B. Caminati, Manfred Kerber, Christoph Lange and Colin Rowat | Reasoning about Auctions | | Jul 23 12:15 |
| Dennis Felsing, Sarah Grebing, Vladimir Klebanov and Mattias Ulbrich | Automating Regression Verification | | Jul 23 12:45 |
| Claudia Schon, Ulrich Furbach and Frieder Stolzenburg | Automated Reasoning in Deontic Logic | | Jul 24 11:15 |
| Matthias Horbach and Viorica Sofronie-Stokkermans | Modular Verification of Interconnected Families of Uniform Linear Hybrid Automata | | Jul 24 17:30 |
| Mark Judge | (AI) Planning to Reconfigure your Robot? | | Jul 24 11:45 |
| Mark Judge | Using CSP Meta Variables in AI Planning | | Jul 24 10:45 |
| Patrick Koopmann and Renate A. Schmidt | Computing Uniform Interpolants of ALCH-Ontologies with Background Knowledge | | Jul 24 15:30 |
| Alexander Lyaletski | On Herbrand theorems for classical and non-classical logics | | Jul 24 12:45 |
| Norbert Manthey | Extended Resolution in Modern SAT Solving | | Jul 24 09:45 |
| Cláudia Nalon and George Bezerra Silva | A Resolution-Based Prover for Normal Modal Logics | | Jul 24 15:00 |
| Fabio Papacchini and Renate A. Schmidt | Models Minimal Modulo Subset-Simulation for Expressive Propositional Modal Logics | | Jul 24 14:30 |
| John Stell, Renate A. Schmidt and David Rydeheard | Tableau Development for a Bi-Intuitionistic Tense Logic | | Jul 23 17:30 |
| Alexander Bolotov, Vasilyi Shangin, Oleg Grigoriev and Mariusz Urbanski | Socratic Proofs for Propositional Linear-Time Logic | | Jul 24 17:00 |
| Christoph Wernhard | Second-Order Characterizations of Definientia in Formula Classes | | Jul 24 12:15 |
| Max Wisniewski, Alexander Steen and Christoph Benzmüller | The Leo-III Project | | Jul 24 16:30 |