VAMPIRE17: VAMPIRE 2017
PROGRAM
Monday, August 7th

View this program: with abstractssession overviewtalk overview

09:30-10:30 Session 1: Invited talk

Invited talk

09:30
Model-Driven Reasoning in SMT ( abstract )
11:00-12:00 Session 2: Contributed talks
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
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
16:00
Local proofs and AVATAR ( abstract )
16:30
Revisiting Question Answering in Vampire ( abstract )