HCVS 2019 - 6th International Workshop on Horn Clause Verification and Synthesis (HCVS 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 and CP), Program Verification (e.g., CAV, TACAS, and VMCAI), and Automated Deduction (e.g., CADE), on the topic of Horn clause based analysis, verification and synthesis.
Horn clauses have been advocated by these communities at different times and from different perspectives, and this workshop is organized to stimulate interaction and a fruitful exchange and integration of experiences.
HCVS 2019 will host the 2nd CHC competition (CHC-COMP) which will compare state-of-the-art tools for CHC solving for performance and effectiveness on a set of publicly available benchmarks.
Organizers: Emanuele De Angelis, Grigory Fedyukovich