BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//hacksw/handcal//NONSGML v1.0//EN
CALSCALE:GREGORIAN
BEGIN:VEVENT
LOCATION:MR1\, COM1-03-19 and via Zoom (Hybrid)
DESCRIPTION:For more information: https://events.comp.nus.edu.sg/view/19909
DTSTART:20221021T150000
DTEND:20221021T160000
SUMMARY:On SMT Solving for Multi-threaded Program Verification
URL;VALUE=URI:https://events.comp.nus.edu.sg/view/19909
DTSTAMP:20260405T115815
UID:69d24e57925ba
END:VEVENT
END:VCALENDAR