BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CallForPaper//Alerts//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
UID:961f6936-4ce0-4640-9ae4-1a738b52be46_start@callforpaper.org
DTSTAMP:20260626T112941Z
DTSTART;VALUE=DATE:20250721
DTEND;VALUE=DATE:20250722
SUMMARY:Conference Begins: CAV 2025 : 37th International Conference on Computer Aided Verification
DESCRIPTION:CAV 2025 : 37th International Conference on Computer Aided Verification
URL:https://callforpaper.org/cfp/cav-2025-37th-international-conference-on-computer-aided-verification_2247
END:VEVENT
END:VCALENDAR