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