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:20260923T053555
UID:6ab3653b4c2c6
END:VEVENT
END:VCALENDAR