IWIL-2018 PROGRAM
Friday, November 16th, 2018
View this program: with abstractssession overviewtalk overviewside by side with other conferences
14:00-15:00 Session 1: Invited Talk
| 14:00 | Research in RiSE at MSR (abstract) |
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) |