BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CallForPaper//Alerts//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
UID:019b31c2-cf39-725b-8196-62358240a0ed_start@callforpaper.org
DTSTAMP:20260607T074516Z
DTSTART;VALUE=DATE:20260726
DTEND;VALUE=DATE:20260727
SUMMARY:Conference Begins: CAV 2026 : 38th International Conference on Computer Aided Verification
DESCRIPTION:CAV 2026 : 38th International Conference on Computer Aided Verification
URL:https://callforpaper.org/call-for-papers-cav-2026-38th-international-conference-on-computer-aided-verification
END:VEVENT
END:VCALENDAR