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:683765ecd8e2b DTSTART;TZID=America/Toronto:20170626T143000 SEQUENCE:0 TRANSP:TRANSPARENT DTEND;TZID=America/Toronto:20170626T160000 URL:/engineering/events/ece-seminar-compositional-progr am-analysis-using-max-smt SUMMARY:ECE Seminar: Compositional Program Analysis using Max-SMT CLASS:PUBLIC DESCRIPTION:Summary \n\nSPEAKER: Dr. Daniel Larraz\, University of Iowa\n DTSTAMP:20250528T193716Z END:VEVENT END:VCALENDAR