The Vampire 2020 workshop will address the newest trends in implementing first-order theorem provers, and focus on new challenges and application areas.

Submission Guidelines

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 LaTeX, Microsoft Word, or ODT templates, which can be found at http://www.easychair.org/publications/epic-templates.

Submissions should be made using EasyChair, via the link https://easychair.org/conferences/?conf=vampire20.

Important Dates

• Submission deadline: June 1, 2020
• Notification of acceptance: June 6, 2020
• Final paper submission: September 1, 2020 (tentative)
• Workshop: July 5, 2020
• Post-proceedings publication of the workshop: December 1, 2020 (tentative)

Program Committee

• Laura Kovacs, TU Wien, chair

• Andrei Voronkov, U. of Manchester and EasyChair, chair

Publication

The workshop post-proceedings will be published within the EasyChair EPiC Series in Computing.

Venue

The workshop is an affiliated event of IJCAR 2020 and will be held in Paris, France.

Contact

All questions about submissions should be emailed to Laura Kovacs <lkovacs@forsyte.tuwien.ac.at>.