workshop.html

---
title: Vampire Workshop
layout: default
---

<p>
We are pleased to announce that the 9th Vampire workshop will be affiliated with <a href="https://www.floc26.org">Federated Logic Conference (FLoC) 2026</a> in Lisbon, Portugal! The invited speaker will be <a href="https://people.ciirc.cvut.cz/~janotmik/">Mikoláš Janota</a>. The organisers are <a href="https://forsyte.at/people/hozzova/">Petra Hozzová</a>, <a href="https://forsyte.at/people/hajdu/">Márton Hajdu</a> and <a href="https://rawsons.uk/michael/">Michael Rawson</a>. The schedule is now <a href="https://program.floc26.org/Vampire-index">online</a>.
</p>

<p>
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.
</p>

<p>
The workshop sheds light on topics such as:
<ul>
<li> prerequisites for substantial progress in theorem proving tools
<li> implementation principles and practice
<li> heuristics and strategies for different application areas
<li> case studies, successful and unsuccessful
<li> missing features in modern theorem provers
</ul>
</p>

<p>
<a href="https://submissions.floc26.org/vampire/">Submissions are now open!</a>
</p>

<p>
Important dates:
<ul>
<li> Paper submission: May 29, 2026 (AoE)
<li> Notification of acceptance: June 5, 2026
<li> Workshop: July 24, 2026
</ul>
</p>

<p>
There will also be an <em>early round</em> of submission for people who wish to meet the early registration deadline for FLoC workshops:
<ul>
<li> Paper submission: May 15th, 2026 (AoE)
<li> Notification of acceptance: As soon as possible, but in any event before June 1st.
</ul>
</p>

<p>
Registration is through the centralized system of FLoC, see <a href="https://www.floc26.org/registration">their website</a> for details.
Important dates for registration:
<ul>
<li> Early-bird registration deadline: June 1, 2026
<li> Regular registration deadline: July 13, 2026
</ul>
</p>


<p>
Earlier editions of the workshop:
<ul>
<li> <a href="https://easychair.org/smart-program/Vampire24/">8th Vampire workshop</a> affiliated with IJCAR 2024 in Nancy, France
<li> <a href="https://easychair.org/smart-program/Vampire23/">7th Vampire workshop</a> affiliated with <a href="https://easyconferences.eu/cade2023/">CADE 2023</a> in Rome, Italy
<li> <a href="https://easychair.org/smart-program/Vampire2019/">6th Vampire workshop</a> affiliated with SAT 2019 in Lisbon, Portugal
<li> <a href="https://easychair.org/smart-program/FLoC2018/Vampire-index.html">5th Vampire workshop</a> affiliated with IJCAR 2018, as part of FLoC 2018, in Oxford, UK
<li> <a href="http://easychair.org/smart-program/Vampire2017/">4th Vampire workshop</a> affiliated with CADE 2017, in Gothenburg, Sweden
<li> <a href="http://easychair.org/smart-program/Vampire2016/">3rd Vampire workshop</a> affiliated with IJCAR 2016, in Coimbra, Portugal
<li> <a href="http://easychair.org/smart-program/Vampire2015/">2nd Vampire workshop</a> affiliated with CADE 2015, in Berlin, Germany
<li> <a href="http://www.easychair.org/smart-program/VSL2014/Vampire-index.html">1st Vampire workshop</a> affiliated with FLoC 2014, in Vienna, Austria
</ul>
</p>