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/2015/newsitem/6816/19-
 July-2015-Horn-Clauses-for-Verification-and-Synthe
 sis-HCVS-2015-San-Francisco-CA-U-S-A-
DTSTAMP:20150326T000000
SUMMARY:Horn Clauses for Verification and Synthesi
 s (HCVS 2015), San  Francisco CA, U.S.A.
DTSTART;VALUE=DATE:20150719
DTEND;VALUE=DATE:20150719
LOCATION:San  Francisco CA, U.S.A.
DESCRIPTION:Most 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.  
  This workshop aims to bring together researchers 
 working in the two communities of Constraint/Logic
  Programming (e.g., ICLP and CP) and Program Verif
 ication community (e.g., CAV, TACAS, and VMCAI) on
  the topic of Horn clause based analysis, verifica
 tion and synthesis. Horn clauses for verification 
 and synthesis have been advocated by these two com
 munities in different times and from different per
 spectives and this workshop is organized to stimul
 ate interaction and a fruitful exchange and integr
 ation of experiences.   For more information, see 
 http://www.andrew.cmu.edu/user/arieg/hcvs15/  We s
 olicit regular papers describing theory and implem
 entation of Horn-clause based analysis and tool de
 scriptions. We also solicit extended abstracts des
 cribing work-in-progress and presentations coverin
 g previously published results that are of interes
 t to the workshop. Deadlines for paper submission:
  May 22, 2015.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>Most 
 Program Verification and Synthesis problems of int
 erest can be\n        modeled directly using Horn 
 clauses and many recent advances in the\n        C
 LP and CAV communities have centered around effici
 ently solving\n        problems presented as Horn 
 clauses.\n      </p>\n      <p>This workshop aims 
 to bring together researchers working in the two\n
         communities of Constraint/Logic Programmin
 g (e.g., ICLP and CP) and\n        Program Verific
 ation community (e.g., CAV, TACAS, and VMCAI) on t
 he\n        topic of Horn clause based analysis, v
 erification and synthesis.\n        Horn clauses f
 or verification and synthesis have been advocated 
 by\n        these two communities in different tim
 es and from different\n        perspectives and th
 is workshop is organized to stimulate interaction\
 n        and a fruitful exchange and integration o
 f experiences.\n      </p>\n    \n      \n      <p
 >For more information, see\n        <a target="_bl
 ank" href="http://www.andrew.cmu.edu/user/arieg/hc
 vs15/">http://www.andrew.cmu.edu/user/arieg/hcvs15
 /</a>\n      </p>\n    </div><div>\n      <p>We so
 licit regular papers describing theory and impleme
 ntation of\n        Horn-clause based analysis and
  tool descriptions. We also solicit\n        exten
 ded abstracts describing work-in-progress and pres
 entations\n        covering previously published r
 esults that are of interest to the\n        worksh
 op.\n        Deadlines for paper submission: May 2
 2, 2015.\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2015/newsitem/6816/19-
 July-2015-Horn-Clauses-for-Verification-and-Synthe
 sis-HCVS-2015-San-Francisco-CA-U-S-A-
END:VEVENT
END:VCALENDAR