BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CallForPaper//Alerts//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
UID:3bcd3b1d-796e-4073-8022-8fe7167d7df2_start@callforpaper.org
DTSTAMP:20260706T004638Z
DTSTART;VALUE=DATE:20250722
DTEND;VALUE=DATE:20250723
SUMMARY:Conference Begins: HCVS 2025 : 12th Workshop on Horn Clauses for Verification and Synthesis
DESCRIPTION:HCVS 2025 : 12th Workshop on Horn Clauses for Verification and Synthesis
URL:https://callforpaper.org/cfp/hcvs-2025-12th-workshop-on-horn-clauses-for-verification-and-synthesis_3867
END:VEVENT
END:VCALENDAR