VAMPIRE PROGRAM
Friday, July 13th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:30 Session 83P: Vampire - Past, Present and Future
Chair:
Location: Maths Seminar C2
| 09:00 | Vampire: where have we come from, where are we going (abstract) |
10:30-11:00Coffee Break
11:00-12:00 Session 86Q: Invited Talk
Chair:
Location: Maths Seminar C2
| 11:00 | Counterexample-Guided Quantifier Instantiation in Logical Theories (abstract)  |
12:30-14:00Lunch Break
14:00-15:30 Session 87Q: Contributed Talks
Chair:
Location: Maths Seminar C2
| 14:00 | Towards Word Sense Disambiguation by Reasoning (abstract) |
| 14:30 | Testing ATP folklore: a statistical analysis of Vampire proofs. (abstract) |
| 15:00 | Foundations of SPECTRE (abstract) |
15:30-16:00Coffee Break
16:00-17:30 Session 88L: Contributed Talks
Chair:
Location: Maths Seminar C2
| 16:00 | Experimenting with Theory Instantiation in Vampire (abstract) |
| 16:30 | Giving AVATAR Quantifiers to Play With (abstract) |
| 17:00 | Developments in Higher-order Theorem proving within Vampire (abstract) |
19:00-21:30 Workshops dinner at Keble College
Workshops dinner at Keble College. Drinks reception from 7pm, to be seated by 7:30 (pre-booking via FLoC registration system required; guests welcome).
Location: Keble College