Horn Clauses for Verification and Synthesis

5th HCVS 2018: Oxford, UK

3rd HCVS@ETAPS 2016: Eindhoven, The Netherlands

2nd HCVS 2015: San Francisco, CA, USA

1st HCVS 2014: Vienna, Austria

Part of VSL 2014

maintained by Schloss Dagstuhl LZI at University of Trier