Please note that this newsitem has been archived, and may contain outdated information or links.
3 April 2022, 9th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2022), Munich, Germany
Many 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 series of workshops aims to bring together researchers working in the two communities of Constraint/Logic Programming (e.g., ICLP and CP), Program Verification (e.g., CAV, TACAS, and VMCAI), and Automated Deduction (e.g., CADE, IJCAR), on the topic of Horn clause based analysis, verification, and synthesis. Horn clauses for verification and synthesis have been advocated by these communities in different times and from different perspectives and HCVS is organized to stimulate interaction and a fruitful exchange and integration of experiences.
HCVS 2022 will host the 5th competition on constraint Horn clauses (CHC-COMP), which will compare state-of-the-art tools for CHC solving for performance and effectiveness on a set of publicly available benchmarks.
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 and posters that are of interest to the workshop. Topics of interest include, but are not limited to the use of Horn clauses, constraints, and related formalisms in various areas.
Submission has to be done in one of the following formats:
-Regular papers (up to 12 pages plus bibliography in EPTCS format), which should present previously unpublished work (completed or in progress), including descriptions of research, tools, and applications.
-Tool papers (up to 4 pages in EPTCS format), which can outline the theoretical framework, the architecture, the usage, and experiments of the tool.
-Extended abstracts (up to 3 pages in EPTCS format), which describe work in progress or aim to initiate discussions.
- Presentation-only papers, i.e., papers already submitted or presented at a conference or another workshop.
-Posters that are of interest to the workshop
Please note that this newsitem has been archived, and may contain outdated information or links.