|Sat 6 - Thu 11 April 2019 Prague, Czech Republic|
HCVS 2019 with ETAPS 2019
Many Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses, and many recent advances in the Constraint/Logic Programming, Verification, and Automated Deduction communities have centered around efficiently solving problems presented as Horn clauses. This workshop aims to bring together researchers working in the communities of Constraint/Logic Programming (e.g., ICLP a ...
Organizing Committee (HCVS 2019)