PAAR PROGRAM
Wednesday, July 23rd, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:45-10:15 Session 159D: Superposition I
Location: FH, Hörsaal 7
08:45 | A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses (abstract) |
09:15 | Invited talk: Hierarchic Superposition Revisited (abstract) |
10:15-10:45Coffee Break
10:45-13:00 Session 166I: Meta-methods for theorem proving
Location: FH, Hörsaal 7
10:45 | Automated Theorem Proving using the TPTP Process Instruction Language (abstract) |
11:15 | The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics (abstract) |
11:45 | Machine Learner for Automated Reasoning 0.4 and 0.5 (abstract) |
12:15 | BliStr: The Blind Strategymaker (abstract) |
13:00-14:30Lunch Break
14:30-16:00 Session 172H: Superposition II
Location: FH, Hörsaal 7
14:30 | A Model Guided Instantiation Heuristic for the Superposition Calculus with Theories (abstract) |
15:00 | Logtk : A Logic ToolKit for Automated Reasoning and its Implementation (abstract) |
15:30 | Polymorphic+Typeclass Superposition (abstract) |
16:00-16:30Coffee Break
16:30-18:00 Session 175J: Proving and Disproving
Location: FH, Hörsaal 7
16:30 | Beagle as a HOL4 external ATP method (abstract) |
17:00 | Razor: Provenance and Exploration in Model-Finding (abstract) |
17:30 | SGGS Theorem Proving: an Exposition (abstract) |