Topics of interest include but are not limited to the use of Horn<br>clauses, constraints, and related formalisms in the following areas:<br>– Analysis and verification of programs and systems of various kinds<br>(e.g., imperative, object–oriented, functional, logic, higher–order,<br>concurrent)<br>– Program synthesis<br>– Program testing<br>– Program transformation<br>– Constraint solving<br>– Type systems<br>– Case studies and tools<br>– Challenging problems<br>We solicit regular papers describing theory and implementation of<br>Horn–clause–based analysis and tool descriptions. We also solicit<br>extended abstracts describing work–in–progress, as well as<br>presentations covering previously published results that are of<br>interest to the workshop.<br>CHC–COMP<br>––––––––<br>HCVS 2019 will host the 2nd CHC competition (CHC–COMP), which will<br>compare state–of–the–art tools for CHC solving for performance and<br>effectiveness on a set of publicly available benchmarks.<br>More information can be found at https://chc–comp.github.io/<br>All participants of CHC–COMP are invited (but not obliged) to submit<br>a tool description for publishing either online or at the proceedings<br>through the EasyChair system for HCVS (the HCVS deadlines apply).<br>
Abbrevation
HCVS
City
Prague
Country
Czechia
Deadline Paper
Start Date
End Date
Abstract