BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//hacksw/handcal//NONSGML v1.0//EN
CALSCALE:GREGORIAN
BEGIN:VEVENT
LOCATION:MR3\, COM2-02-26
DESCRIPTION:For more information: https://events.comp.nus.edu.sg/view/11068
DTSTART:20141205T150000
DTEND:20141205T163000
SUMMARY:Automated Verification of Complete Specifications with Shape Inference
URL;VALUE=URI:https://events.comp.nus.edu.sg/view/11068
DTSTAMP:20260412T133546
UID:69db9fb29d4b5
END:VEVENT
END:VCALENDAR