PROGRAM
Wednesday, July 5th
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 1: Invited Talk
| 09:00 | The Spawns of the Saturation Framework |
10:30-12:30 Session 2: Efficient Reasoning
| 10:30 | Lazy and Eager Patterns in High-Performance Automated Theorem Proving (abstract) |
| 11:00 | Engineering Subsumption Resolution in Vampire (abstract) |
| 11:30 | Heuristic Definition Introduction (abstract) |
14:00-15:30 Session 3: Reasoning Applications
| 14:00 | Integrating Answer Literals with AVATAR for Program Synthesis (abstract) |
| 14:30 | Syntax-driven induction (abstract) |
| 15:00 | Sorting without Sorts in Vampire (abstract) |
16:00-18:00 Session 4: Higher-Order and Training
| 16:00 | Towards verifying Vampire proofs in λΠ-calculus Modulo Theories (abstract) PRESENTER: Michael Rawson |
| 16:30 | New Trends in Higher-Order (abstract) |
| 17:00 | Spider: Learning in the Sea of Options (abstract) |