Wednesday, July 14th
Wednesday's program is also available with abstracts and side by side with other events.
09:00‑10:00 Invited talk by Larry Paulson and Jasmine Christian Blanchette
Location: AT 2.14
| 09:00 | Jasmine Christian Blanchette (TU München) Invited talk: Three Years of Experience with Sledgehammer, a Practical Link between Automatic and Interactive Theorem Provers |
10:30‑12:30 Session 1
Location: AT 2.14
| 10:30 | Laura Meikle and Jacques Fleuriot Automation for Geometry in Interactive Theorem Provers |
| 11:00 | Andrew Matusiwicz, Neil Murray and Erik Rosenthal Trie Based Subsumption and Improving the pi-Trie Algorithm |
| 11:30 | Guido Fiorino Fast Decision Procedure for Propositional Dummett Logic Based on a Multiple Premise Tableau Calculus |
| 12:00 | Thomas Bouton, Diego Caminha, David Deharbe and Pascal Fontaine GridTPT: a distributed platform for Theorem Prover Testing |
14:00‑15:00 Invited talk by Andrei Voronkov
Location: AT 2.14
| 14:00 | Andrei Voronkov (University of Manchester) Invited Talk: Vampire: the Fresh Blood |
15:30‑17:35 Session 2
Location: AT 2.14
| 15:30 | Djihed Afifi, David Rydeheard and Howard Barringer Automated Reasoning in the Simulation of Evolvable Systems |
| 15:55 | Han-Hing Dang and Peter Höfner Automated Higher-order Reasoning in Quantales |
| 16:20 | Jens Otten and Geoff Sutcliffe Using the TPTP Language for Representing Derivations in Tableau and Connection Calculi |
| 16:45 | Christoph Benzmueller and Adam Pease Progress in Automating Higher-Order Ontology Reasoning |
| 17:10 | Ullrich Hustadt and Renate A. Schmidt A Comparison of Solvers for Propositional Dynamic Logic |