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/2022/newsitem/13265/3- April-2022-9th-Workshop-on-Horn-Clauses-for-Verifi cation-and-Synthesis-HCVS-2022-Munich-Germany DTSTAMP:20211221T181601 SUMMARY:9th Workshop on Horn Clauses for Verificat ion and Synthesis (HCVS 2022), Munich, Germany DTSTART;VALUE=DATE:20220403 DTEND;VALUE=DATE:20220403 LOCATION:Munich, Germany DESCRIPTION:Many Program Verification and Synthesi s problems of interest can be modeled directly usi ng Horn clauses and many recent advances in the CL P and CAV communities have centered around efficie ntly solving problems presented as Horn clauses. T his series of workshops aims to bring together res earchers working in the two communities of Constra int/Logic Programming (e.g., ICLP and CP), Program Verification (e.g., CAV, TACAS, and VMCAI), and A utomated Deduction (e.g., CADE, IJCAR), on the top ic of Horn clause based analysis, verification, an d synthesis. Horn clauses for verification and syn thesis have been advocated by these communities in different times and from different perspectives a nd HCVS is organized to stimulate interaction and a fruitful exchange and integration of experiences . HCVS 2022 will host the 5th competition on cons traint Horn clauses (CHC-COMP), which will compare state-of-the-art tools for CHC solving for perfor mance and effectiveness on a set of publicly avail able benchmarks. We solicit regular papers descri bing theory and implementation of Horn-clause base d analysis and tool descriptions. We also solicit extended abstracts describing work-in-progress, as well as presentations covering previously publish ed 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. Submissi on has to be done in one of the following formats: -Regular papers (up to 12 pages plus bibliograph y in EPTCS  format), which should present previous ly unpublished work (completed or in progress), in cluding descriptions of research, tools, and appli cations. -Tool papers (up to 4 pages in EPTCS for mat), which can outline the theoretical framework, the architecture, the usage, and experiments of t he tool. -Extended abstracts (up to 3 pages in EP TCS format), which describe work in progress or ai m to initiate discussions. - Presentation-only pa pers, i.e., papers already submitted or presented at a conference or another workshop. -Posters tha t are of interest to the workshop X-ALT-DESC;FMTTYPE=text/html:
\n

Many Prog ram Verification and Synthesis problems of interes t can be modeled directly using Horn clauses and m any recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses. This series of worksho ps aims to bring together researchers working in t he 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 bas ed analysis, verification, and synthesis. Horn cla uses for verification and synthesis have been advo cated by these communities in different times and from different perspectives and HCVS is organized to stimulate interaction and a fruitful exchange a nd integration of experiences.

\n\n

HCVS 20 22 will host the 5th competition on constraint Horn clauses (CHC-COMP), which will compare s tate-of-the-art tools for CHC solving for performa nce and effectiveness on a set of publicly availab le benchmarks.

\n
\n

We solicit r egular papers describing theory and implementation of Horn-clause based analysis and tool descriptio ns. We also solicit extended abstracts describing work-in-progress, as well as presentations coverin g previously published results and posters that ar e of interest to the workshop. Topics of interest include, but are not limited to the use of Horn cl auses, constraints, and related formalisms in vari ous areas.

\n\n

Submission has to be done i n one of the following formats:
\n -Regular pa pers (up to 12 pages plus bibliography in EPTCS&nb sp; format), which should present previously unpub lished work (completed or in progress), including descriptions of research, tools, and applications.
\n -Tool papers (up to 4 pages in EPTCS forma t), which can outline the theoretical framework, t he architecture, the usage, and experiments of the tool.
\n -Extended abstracts (up to 3 pages i n EPTCS format), which describe work in progress o r aim to initiate discussions.
\n - Presentati on-only papers, i.e., papers already submitted or presented at a conference or another workshop.
\n -Posters that are of interest to the workshop< /p>\n

URL:https://www.sci.unich.it/hcvs22/ END:VEVENT END:VCALENDAR