BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//hacksw/handcal//NONSGML v1.0//EN
CALSCALE:GREGORIAN
BEGIN:VEVENT
LOCATION:MR1\, COM1-03-19
DESCRIPTION:For more information: https://events.comp.nus.edu.sg/view/15349
DTSTART:20181119T103000
DTEND:20181119T113000
SUMMARY:Deductive Synthesis of Programs that Alter Data Structures (KEYWORDS: Separation Logic\, Program Synthesis\, Proof Search)
URL;VALUE=URI:https://events.comp.nus.edu.sg/view/15349
DTSTAMP:20260628T123115
UID:6a411413ac805
END:VEVENT
END:VCALENDAR