The 7th Vampire Workshop - CANCELLED

The workshop was planned as an affiliated event of IJCAR 2020, being part of Paris Nord Summer of LoVe 2020

Due to the recent situation regarding the Coronavirus - COVID-19, in consultation with the workshop chairs of IJCAR 2020, we have decided to cancel the Vampire 2020 workshop. 

The Vampire workshop series addresses the newest trends in implementing first-order theorem provers, and focus on new challenges and application areas. The workshop series also discusses the development and use of the first-order theorem prover Vampire.

Workshop participants usually include both Vampire developers and users, with discussions between tool developers and users. The users can learn more about Vampire and its recent developments. The users can learn more about the use of Vampire, its efficiency in various application areas and needs of the users.

The workshop series sheds the light on on problems such as

  • what is essential for substantial progress in theorem proving tools;
  • what are the best implementation principles to be used;
  • what are the best heuristics and strategies, depending on application areas;
  • both successful and unsuccessful case studies;
  • missing features in modern theorem provers.

The workshop series also overviews the most recent advances made in Vampire.