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/10674
DTSTART:20140908T140000
DTEND:20140908T153000
SUMMARY:Applying model checking to pervasive computing systems
URL;VALUE=URI:https://events.comp.nus.edu.sg/view/10674
DTSTAMP:20260504T235804
UID:69f9328c55b6e
END:VEVENT
END:VCALENDAR