BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//confref//labs//EN
CALSCALE:GREGORIAN
X-WR-CALNAME:confref: Workshop on Horn Clauses for Verification and Synthe
 sis (HCVS)
END:VCALENDAR