BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//THE D[AI]LY BRIEF//AI Events//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
UID:cav-2027@beri.net
DTSTAMP:20260903T085533Z
DTSTART;VALUE=DATE:20270719
DTEND;VALUE=DATE:20270724
SUMMARY:CAV 2027 — 39th International Conference on Computer Aided Verifi
 cation
DESCRIPTION:The flagship automated-verification conference\, in the Nethe
 rlands for the first time\n\nMore: https://www.beri.net/events/cav-2027
LOCATION:KIT (formerly the Royal Tropical Institute)\, Amsterdam\, North 
 Holland\, Netherlands
URL:https://conferences.i-cav.org/2027/
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR