BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//hacksw/handcal//NONSGML v1.0//EN
CALSCALE:GREGORIAN
BEGIN:VEVENT
LOCATION:Executive Classroom\, COM2-04-02
DESCRIPTION:For more information: https://events.comp.nus.edu.sg/view/11467
DTSTART:20150506T103000
DTEND:20150506T120000
SUMMARY:Certified Reasoning for Automated Verification
URL;VALUE=URI:https://events.comp.nus.edu.sg/view/11467
DTSTAMP:20261026T022818
UID:6adebac2b2c6a
END:VEVENT
END:VCALENDAR