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:20220313T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20221106T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:69d88159cec46
DTSTART;TZID=America/Toronto:20221114T100000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20221114T100000
URL:https://uwaterloo.ca/electrical-computer-engineering/events/masc-semina
 r-notice-expressive-and-efficient-memory
LOCATION:EIT - Centre for Environmental and Information Technology 200 Univ
 ersity Avenue West Room 3141 Waterloo ON N2L 3G1 Canada
SUMMARY:MASc Seminar Notice: \"Expressive and Efficient Memory Representati
 on\nfor Bounded Model Checking of C programs\" by Xiang Zhou
CLASS:PUBLIC
DESCRIPTION:CANDIDATE: Xiang Zhou\n\nDATE: Nov 14\, 2022\n\nTIME: 10:00a
 m\n\nLOCATION: EIT 3141\n\nSUPERVISOR: Arie Gurfinkel
DTSTAMP:20260410T044929Z
END:VEVENT
END:VCALENDAR