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
Sophie Tourret, Mnacho Echenim and Nicolas Peltier
A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses (abstract)
09:15
Uwe Waldmann
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
Muhammad Nassar and Geoff Sutcliffe
Automated Theorem Proving using the TPTP Process Instruction Language (abstract)
11:15
Negin Arhami and Geoff Sutcliffe
The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics (abstract)
11:45
Cezary Kaliszyk, Josef Urban and Jiri Vyskocil
Machine Learner for Automated Reasoning 0.4 and 0.5 (abstract)
12:15
Josef Urban
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
Joshua Bax
A Model Guided Instantiation Heuristic for the Superposition Calculus with Theories (abstract)
15:00
Simon Cruanes
Logtk : A Logic ToolKit for Automated Reasoning and its Implementation (abstract)
15:30
Daniel Wand
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
Thibault Gauthier, Cezary Kaliszyk, Chantal Keller and Michael Norrish
Beagle as a HOL4 external ATP method (abstract)
17:00
Salman Saghafi and Daniel Dougherty
Razor: Provenance and Exploration in Model-Finding (abstract)
17:30
Maria Paola Bonacina and David Plaisted
SGGS Theorem Proving: an Exposition (abstract)