Manuel Hermenegildo, investigador del Instituto IMDEA Software, coorganiza y preside el cuarto workshop sobre Horn Clauses for Verification and Synthesis (HCVS 2017). El workshop tiene lugar el 7 de agosto de 2017 en Goteburgo, Suecia, como un workshop asociado del Congreso Internacional de Deducción Automática, CADE 2017.
Esta serie de workshops se centra en la síntesis, verificación y análisis basados en cláusulas de Horn, y reúne investigadores que trabajan en las comunidades de Verificación del Programas (p.ej., CAV, TACAS, and VMCAI), Programación Lógica y con restricciones (p.ej., ICLP and CP), y Deducción Automática (p.ej., CADE).
