IMDEA Software Institute Researcher, Manuel Hermenegildo, co-organizes and chairs the 4th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2017). The workshop is held on August 7, 2017 in Gothenburg, Sweden, as a satellite workshop of the International Conference on Automated Deduction, CADE 2017.

This series of workshops focuses on Horn clause-based analysis, verification, and synthesis, bringing together researchers working in the communities of Program Verification (e.g., CAV, TACAS, and VMCAI), Constraint/Logic Programming (e.g., ICLP and CP), and Automated Deduction (e.g., CADE).