BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//hacksw/handcal//NONSGML v1.0//EN
CALSCALE:GREGORIAN
BEGIN:VEVENT
LOCATION:via Zoom
DESCRIPTION:For more information: https://events.comp.nus.edu.sg/view/21107
DTSTART:20230810T120000
DTEND:20230810T133000
SUMMARY:Functional Synthesis via Formal Methods and Machine Learning
URL;VALUE=URI:https://events.comp.nus.edu.sg/view/21107
DTSTAMP:20260501T053026
UID:69f43a728adab
END:VEVENT
END:VCALENDAR