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:20210314T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20211107T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:69dcbd982e2d1
DTSTART;TZID=America/Toronto:20211202T150000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20211202T150000
URL:https://uwaterloo.ca/electrical-computer-engineering/events/interval-ty
 pe-inference-improvements-and-evaluations
SUMMARY:Interval Type Inference: Improvements and Evaluations
CLASS:PUBLIC
DESCRIPTION:Candidate: Di Wang\nTitle: Interval Type Inference: Improvement
 s and Evaluations\n\nDate: December 2\, 2021\nTime: 15:00\nPlace: MS Teams
 \nSupervisor(s): Dietl\, Werner\n\nABSTRACT:\nInterval analysis estimates 
 the run-time intervals of numerical\nexpressions in the source code by com
 puting a lower bound and an\nupper bound. Interval analysis for integral t
 ypes is useful in\nproviding facts of the target program to help developer
 s find
DTSTAMP:20260413T095536Z
END:VEVENT
END:VCALENDAR