BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//hacksw/handcal//NONSGML v1.0//EN
CALSCALE:GREGORIAN
BEGIN:VEVENT
LOCATION:SR6\, COM1-02-03
DESCRIPTION:For more information: https://events.comp.nus.edu.sg/view/26230
DTSTART:20260525T150000
DTEND:20260525T163000
SUMMARY:Automated Verification of Effectful Higher-order Programs
URL;VALUE=URI:https://events.comp.nus.edu.sg/view/26230
DTSTAMP:20261025T113530
UID:6adde982a969c
END:VEVENT
END:VCALENDAR