LPAR-22: 22ND INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
IWIL-2018 PROGRAM
Friday, November 16th

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

15:00-16:00 Session 2: Verification
15:00
Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic (abstract)
15:30
Extending a Verified Simplex Algorithm (abstract)
16:30-18:00 Session 3: Proofs, Programs, and Symmetries
16:30
ProofWatch Meets ENIGMA: First Experiments (abstract)
17:00
Influence of Variables Encoding and Symmetry Breaking on the Performance of Optimization Modulo Theories Tools Applied to Cloud Resource Selection (abstract)
17:30
Splitting a Logic Program Efficiently (abstract)