[Om-announce] 7th Vampire workshop - Call for Papers

[geoff at cs.miami.edu]

The 7th Vampire workshop is held as an affiliated event of CADE 2023.

The workshop addresses recent trends in implementing first-order
theorem provers, and focus on new challenges and application areas. The
workshop also discusses the development and use of the first-order
theorem prover Vampire, and its potential use cases and interaction
with other systems. Workshop participants include both Vampire
developers and users, with discussions between tool developers and
users. Participants can learn more about the use of Vampire, its
efficiency in various application areas and needs of the users.

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.