Please note that this newsitem has been archived, and may contain outdated information or links.
3 April 2016, 3rd Workshop on Horn Clauses for Verification and Synthesis (HCVS 2016), Eindhoven, The Netherlands
This workshop aims to bring together researchers working in the two communities of Constraint/Logic Programming (e.g., ICLP and CP) and Program Verification (e.g., CAV, TACAS, and VMCAI) on the topic of Horn clause based analysis, verification and synthesis.
Most Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses. Horn clauses for verification and synthesis have been advocated by these two communities in different times and from different perspectives and this workshop is organized to stimulate interaction and a fruitful exchange and integration of experiences.
For more information see http://hcvs2016.it.uu.se/
We solicit regular papers describing theory and implementation of Horn-clause based analysis and tool descriptions. We also solicit extended abstracts describing work-in-progress, as well as presentations covering previously published results that are of interest to the workshop. Paper submission deadline is 5 February 2016.
Please note that this newsitem has been archived, and may contain outdated information or links.