Animation and exchanges in the Petri Nets community

[address@concealed]

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