VAMPIRE23: THE 7TH VAMPIRE WORKSHOP
Paper Submission

We seek submissions reporting on theory, application, case studies, experiments and work-in-progress using Vampire and other theorem provers in various applications. 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 EasyChair, via the link https://easychair.org/conferences/?conf=vampire23. 

We will consider workshop post-proceedings in the EasyChair EPiC series.