Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

26 April 2020, 7th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2020), Dublin, Ireland

Date: Sunday 26 April 2020
Location: Dublin, Ireland
Deadline: Wednesday 26 February 2020

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.

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.

Topics of interest include but are not limited to the use of Horn clauses, constraints, and related formalisms in the following areas: Analysis and verification of programs and systems of various kinds,  Program synthesis, Program testing, Program transformation, Constraint solving, Type systems, Case studies and tools, and Challenging problems.

For more information, see https://www.sci.unich.it/hcvs20/.

Please note that this newsitem has been archived, and may contain outdated information or links.