Please note that this newsitem has been archived, and may contain outdated information or links.
19 July 2015, Horn Clauses for Verification and Synthesis (HCVS 2015), San Francisco CA, U.S.A.
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.
This workshop aims to bring together researchers working in the two communities of Constraint/Logic Programming (e.g., ICLP and CP) and Program Verification community (e.g., CAV, TACAS, and VMCAI) on the topic of Horn clause based analysis, verification and synthesis. 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://www.andrew.cmu.edu/user/arieg/hcvs15/
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 and presentations covering previously published results that are of interest to the workshop. Deadlines for paper submission: May 22, 2015.
Please note that this newsitem has been archived, and may contain outdated information or links.