LPAR-21: 21ST INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
IWIL-2017 PROGRAM
Sunday, May 7th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

13:00-14:15 Session 1
Chair:
Geoff Sutcliffe
13:00
Giles Reger, Martin Suda and Andrei Voronkov
Recent Improvements of Theory Reasoning in Vampire ( abstract )
14:15-14:30Short Break
14:30-15:30 Session 2
Chair:
Konstantin Korovin
14:30
Alexander Steen, Max Wisniewski and Christoph Benzmüller
Going Polymorphic - TH1 Reasoning for Leo-III ( abstract )
15:00
Alexander Steen, Max Wisniewski, Hans-Jörg Schurr and Christoph Benzmüller
Capability Discovery for Automated Reasoning Systems ( abstract )
15:30-16:00Break
16:00-17:30 Session 3
Chair:
Alexander Steen
16:00
Julio Cesar Lopez Hernandez and Konstantin Korovin
Towards an Abstraction-Refinement Framework for Reasoning with Large Theories ( abstract )
16:30
Giles Reger and Martin Suda
Set of Support for Theory Reasoning ( abstract )