PROGRAM
Monday, August 7th
View this program: with abstractssession overviewtalk overview
09:30-10:30 Session 1: Invited talk
Invited talk
Chair:
| 09:30 | Model-Driven Reasoning in SMT ( abstract ) |
11:00-12:00 Session 2: Contributed talks
Chair:
| 11:00 | An Inference Rule for the Acyclicity Property of Term Algebras ( abstract ) |
| 11:30 | Using Vampire with Support for Algebraic Datatypes in Type Soundness Proofs ( abstract ) |
14:00-15:30 Session 3: Contributed talks
Chair:
| 14:00 | A Vampire Can Boogie! Using Vampire as a Back-End for Intermediate Verification Languages ( abstract ) |
| 14:30 | Incremental Solving with Vampire ( abstract ) |
| 15:00 | Checking reachablity properties in AWS networks with Tiros and Vampire ( abstract ) |
16:00-17:00 Session 4: Contributed talks
Chair:
| 16:00 | Local proofs and AVATAR ( abstract ) |
| 16:30 | Revisiting Question Answering in Vampire ( abstract ) |