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:<div>\n  <p>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>\n</div><div>\n  <p>We solicit regular papers d
 escribing theory and implementation of Horn-clause
 -based analysis and tool descriptions. We also sol
 icit extended abstracts describing work-in-progres
 s, as well as presentations covering previously pu
 blished results that are of interest to the worksh
 op.</p>\n\n  <p>Topics of interest include but are
  not limited to the use of Horn clauses, constrain
 ts, and related formalisms in the following areas:
  Analysis and verification of programs and systems
  of various kinds,&nbsp; Program synthesis, Progra
 m testing, Program transformation, Constraint solv
 ing, Type systems, Case studies and tools, and Cha
 llenging problems.</p>\n</div>
URL:https://www.sci.unich.it/hcvs20/
END:VEVENT
END:VCALENDAR