PROGRAM
Saturday, July 2nd
View this program: with abstractssession overviewtalk overview
09:30-10:30 Session 1: Invited Talk
Chair:
| 09:30 | Recent Advances in Instantiation-Based Techniques and their Implementation in CVC4 ( abstract ) |
11:00-12:30 Session 2: Contributed Talks
Chair:
| 11:00 | Theory-Specific Reasoning about Loops with Arrays using Vampire ( abstract ) |
| 11:30 | Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny ( abstract ) |
| 12:00 | Evaluating Automated Theorem Provers Using Adimen-SUMO ( abstract ) |
14:00-15:30 Session 3: Contributed Talks
Chair:
| 14:00 | Handling the Theory of Finite Term Algebras in a Saturation Theorem Prover ( abstract ) |
| 14:30 | Reasoning about Next-State Relations with Vampire ( abstract ) |
| 15:00 | Revisiting Global Subsumption ( abstract ) |
16:00-17:30 Session 4: Contributed Talks and Discusssions
Chair:
| 16:00 | Blocked clauses in first-order logic ( abstract ) |
| 16:30 | SMT-LIB Updates and Discussion ( abstract ) |
| 17:00 | Better Proof Output for Vampire ( abstract ) |