Horn Clauses for Verification and Synthesis
5th HCVS 2018: Oxford, UK
- Temesghen Kahsai, Germán Vidal:
Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2018, Oxford, UK, 13th July 2018. EPTCS 278, 2018 [contents]
3rd HCVS@ETAPS 2016: Eindhoven, The Netherlands
- John P. Gallagher, Philipp Rümmer:
Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016. EPTCS 219, 2016 [contents]
2nd HCVS 2015: San Francisco, CA, USA
1st HCVS 2014: Vienna, Austria
- Nikolaj Bjørner, Fabio Fioravanti, Andrey Rybalchenko, Valerio Senni:
Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014. EPTCS 169, 2014 [contents]
Part of VSL 2014