BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Drupal iCal API//EN
X-WR-CALNAME:Events items teaser
X-WR-TIMEZONE:America/Toronto
BEGIN:VTIMEZONE
TZID:America/Toronto
X-LIC-LOCATION:America/Toronto
BEGIN:DAYLIGHT
TZNAME:EDT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
DTSTART:20260308T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20251102T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:69dd4dc6c373c
DTSTART;TZID=America/Toronto:20260429T100000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20260429T110000
URL:https://uwaterloo.ca/electrical-computer-engineering/events/phd-seminar
 -automatic-inference-relational-object-invariants
SUMMARY:PhD Seminar: Automatic Inference of Relational Object Invariants
CLASS:PUBLIC
DESCRIPTION:Candidate: Yusen Su\n\nDate: April 29\, 2026\n\nTime: 10:00 AM\
 n\nLocation: In-person\n\nSupervisor: Arie Gurfinkel\n\nAll are welcome!
DTSTAMP:20260413T201046Z
END:VEVENT
END:VCALENDAR