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.