CFP
Vampire 2019: The 6th Vampire Workshop SAT 2019 Lisbon, Portugal, July 7, 2019 |
Submission link | https://easychair.org/conferences/?conf=vampire2019 |
Conference program | https://easychair.org/smart-program/Vampire2019/ |
Submission deadline | June 16, 2019 |
Notification | June 19, 2019 |
Final Version | September 1, 2019 |
Proceedings publication | October 31, 2019 |
Vampire 2019 is the 6th edition of the workshop dedicated to first-order theorem proving and the use of the theorem prover Vampire.
Submission Guidelines
All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome:
- Use of Vampire
- First-order theorem proving
- Implementation of first-order theorem provers
- Comparison of theorem provers
- Theorem proving with quantifiers and theories
- AVATAR architecture
- Applications of Vampire and first-order theorem proving
Programme Committee
- Laura Kovacs (chair)
- Andrei Voronkov (chair)
Invited Speakers
TBA
Publication
Vampire-19 proceedings will be published in the EasyChair EPiC Series in Computing.
Venue
The workshop will be held in Lisbon as part of the The 22nd International Conference on Theory and Applications of Satisfiability Testing (SAT 2019).
Contact
All questions about submissions should be emailed to programme chairs.