BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//hacksw/handcal//NONSGML v1.0//EN
CALSCALE:GREGORIAN
BEGIN:VEVENT
LOCATION:Zoom presentation
DESCRIPTION:For more information: https://events.comp.nus.edu.sg/view/19306
DTSTART:20220420T143000
DTEND:20220420T160000
SUMMARY:Formal Verification-based Program Repair
URL;VALUE=URI:https://events.comp.nus.edu.sg/view/19306
DTSTAMP:20260501T053026
UID:69f43a72b3909
END:VEVENT
END:VCALENDAR