The Vampire 2026 workshop will discuss 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.
We seek submissions reporting on but not limited to: - 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 Submissions can be in any form, ranging from work in progress to completed work. For example, the users can submit: - extended abstracts or full papers; - theoretical papers; - experimental papers and case studies; - or in general any papers that can benefit tool developers and users. Papers can be of any length, ranging from 1-page abstracts to full papers up to 20 pages in length. The papers should use the EasyChair templates, which can be found at https://easychair.org/publications/for_authors Submissions should be made using the FLoC system, via the link https://submissions.floc26.org/vampire/ The workshop post-proceedings will be published within the EasyChair EPiC Series in Computing. Important dates: Paper submission: May 29, 2026 (AoE) Notification of acceptance: June 5, 2026 Workshop: July 24, 2026 _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
