Program of PAAR

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