BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//VietSCI//Hoi thao//VI
BEGIN:VEVENT
UID:cf-77@vietscies.com
DTSTAMP:20261104T042236Z
DTSTART;VALUE=DATE:20270719
DTEND;VALUE=DATE:20270724
SUMMARY:International Conference on Computer-Aided Verification
LOCATION:KIT\, Hà Lan
URL:https://conferences.i-cav.org/2027/
END:VEVENT
END:VCALENDAR