VSL 2014: VIENNA SUMMER OF LOGIC 2014
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)