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:20170312T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20161106T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:69d913c1ae9ff
DTSTART;TZID=America/Toronto:20170626T143000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20170626T160000
URL:https://uwaterloo.ca/engineering/events/ece-seminar-compositional-progr
 am-analysis-using-max-smt
LOCATION:EIT - Centre for Environmental and Information Technology 200 Univ
 ersity Avenue West 3142 Waterloo ON N2L 3G1 Canada
SUMMARY:ECE Seminar: Compositional Program Analysis using Max-SMT
CLASS:PUBLIC
DESCRIPTION:SPEAKER: Dr. Daniel Larraz\, University of Iowa
DTSTAMP:20260410T151409Z
END:VEVENT
END:VCALENDAR