Accepted Papers
- Ahmed Bhayat. New Trends in Higher-Order
- Robin Coutelier. Engineering Subsumption Resolution in Vampire
- Pamina Georgiou. Sorting without Sorts in Vampire
- Marton Hajdu. Syntax-driven induction
- Petra Hozzová. Integrating Answer Literals with AVATAR for Program Synthesis
- Anja Petković Komel, Michael Rawson and Martin Suda. Towards verifying Vampire proofs in λΠ-calculus Modulo Theories
- Michael Rawson. Heuristic Definition Introduction
- Stephan Schulz. Lazy and Eager Patterns in High-Performance Automated Theorem Proving
- Andrei Voronkov. Spider: Learning in the Sea of Options