International Workshop on Strategic Reasoning

3. 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]

2. HCVS 2015: San Francisco, CA, USA

HCVS 2015 Home Page

1. 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