PROGRAM
Sunday, August 2nd
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 1: Invited talk by Leonardo de Moura
Chair:
| 09:00 | Lost in translation: how easy (automated reasoning) problems become hard due to bad encodings (abstract) |
11:00-12:30 Session 3: Regular talks
Chair:
| 11:00 | Using Vampire in Soundness Proofs of Type Systems (abstract) |
| 11:30 | Reasoning About Loops Using Vampire (abstract) |
14:00-15:30 Session 4: Regular talks
Chair:
| 14:00 | The Uses of SAT Solvers in Vampire (abstract) |
| 14:30 | Nice Models for AVATAR (abstract) |
| 15:00 | New Vampire Features as Extensions to TPTP (abstract) |
16:00-17:00 Session 5: Invited talk by Geoff Sutcliffe
Chair:
| 16:00 | Things that you can't do with a Vampire (abstract) |