BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2020/newsitem/11630/26 -April-2020-7th-Workshop-on-Horn-Clauses-for-Verif ication-and-Synthesis-HCVS-2020-Dublin-Ireland DTSTAMP:20200218T162858 SUMMARY:7th Workshop on Horn Clauses for Verificat ion and Synthesis (HCVS 2020), Dublin, Ireland DTSTART;VALUE=DATE:20200426 DTEND;VALUE=DATE:20200426 LOCATION:Dublin, Ireland DESCRIPTION:This workshop aims to bring together r esearchers working in the communities of Constrain t/Logic Programming (e.g., ICLP and CP), Program V erification (e.g., CAV, TACAS, and VMCAI), and Aut omated Deduction (e.g., CADE), on the topic of Hor n clause based analysis, verification and synthesi s. Horn clauses have been advocated by these commu nities at different times and from different persp ectives, and this workshop is organized to stimula te interaction and a fruitful exchange and integra tion of experiences. We solicit regular papers de scribing theory and implementation of Horn-clause- based analysis and tool descriptions. We also soli cit extended abstracts describing work-in-progress , as well as presentations covering previously pub lished results that are of interest to the worksho p. Topics of interest include but are not limited to the use of Horn clauses, constraints, and rela ted formalisms in the following areas: Analysis an d verification of programs and systems of various kinds, Program synthesis, Program testing, Progra m transformation, Constraint solving, Type systems , Case studies and tools, and Challenging problems . X-ALT-DESC;FMTTYPE=text/html:
This work shop aims to bring together researchers working in the communities of Constraint/Logic Programming ( e.g., ICLP and CP), Program Verification (e.g., CA V, TACAS, and VMCAI), and Automated Deduction (e.g ., CADE), on the topic of Horn clause based analys is, verification and synthesis. Horn clauses have been advocated by these communities at different t imes and from different perspectives, and this wor kshop is organized to stimulate interaction and a fruitful exchange and integration of experiences.< /p>
We solicit regular papers des cribing theory and implementation of Horn-clause-b ased analysis and tool descriptions. We also solic it extended abstracts describing work-in-progress, as well as presentations covering previously publ ished results that are of interest to the workshop .
\n\nTopics of interest include but are n ot limited to the use of Horn clauses, constraints , and related formalisms in the following areas: A nalysis and verification of programs and systems o f various kinds, Program synthesis, Program testing, Program transformation, Constraint solvin g, Type systems, Case studies and tools, and Chall enging problems.