Workshop on Horn Clauses for Verification and Synthesis (HCVS)

Venue statistics

records by year

document access 

    frequent authors

      9th HCVS / 10th VPT@ETAPS 2022: Munich, Germany

      8th HCVS 2021 [virtual]

      8th VPT / 7th HCVS@ETAPS 2020: Dublin, Ireland

      6th HCVS / 3rd PERR 2019: Prague, Czech Republic

      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

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics