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:6a1630fb1029e
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
LOCATION:EIT - Centre for Environmental and Information Technology 200 Univ
 ersity Avenue West Room 3142 Waterloo ON N2L 3G1 Canada
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: EIT 3142\n\nSupervisor: Arie Gurfinkel\n\nAll are welcome!
DTSTAMP:20260526T234707Z
END:VEVENT
END:VCALENDAR