Vampire Workshop
We are pleased to announce that the 9th Vampire workshop will be affiliated with Federated Logic Conference (FLoC) 2026 in Lisbon, Portugal!
The Vampire workshop discusses recent developments in implementation, application, evaluation and comparison of first-order theorem provers, including but not limited to Vampire, and their interaction with other systems. Participants include Vampire developers and users, and the workshop provides a venue for discussion between the two groups. Both groups can learn more about Vampire’s recent developments, possible applications of Vampire, its efficiency in various settings, and the needs of users.
The workshop sheds light on topics such as:
- prerequisites for substantial progress in theorem proving tools
- implementation principles and practice
- heuristics and strategies for different application areas
- case studies, successful and unsuccessful
- missing features in modern theorem provers
Important dates:
- Paper submission: May 29, 2026 (AoE)
- Notification of acceptance: June 5, 2026
- Workshop: July 24 or July 25, 2026
Registration is through the centralized system of FLoC, see their website for details. Important dates for registration:
- Early-bird registration deadline: June 1, 2026
- Regular registration deadline: July 13, 2026
Earlier editions of the workshop:
- 8th Vampire workshop affiliated with IJCAR 2024 in Nancy, France
- 7th Vampire workshop affiliated with CADE 2023 in Rome, Italy
- 6th Vampire workshop affiliated with SAT 2019 in Lisbon, Portugal
- 5th Vampire workshop affiliated with IJCAR 2018, as part of FLoC 2018, in Oxford, UK
- 4th Vampire workshop affiliated with CADE 2017, in Gothenburg, Sweden
- 3rd Vampire workshop affiliated with IJCAR 2016, in Coimbra, Portugal
- 2nd Vampire workshop affiliated with CADE 2015, in Berlin, Germany
- 1st Vampire workshop affiliated with FLoC 2014, in Vienna, Austria