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:20160313T070000 END:DAYLIGHT BEGIN:STANDARD TZNAME:EST TZOFFSETFROM:-0400 TZOFFSETTO:-0500 DTSTART:20151101T060000 END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:68700200b91aa DTSTART;TZID=America/Toronto:20160427T103000 SEQUENCE:0 TRANSP:TRANSPARENT DTEND;TZID=America/Toronto:20160427T113000 URL:/electrical-computer-engineering/events/domain-spec ific-languages-verified-software SUMMARY:Domain Specific Languages for Verified Software CLASS:PUBLIC DESCRIPTION:Summary \n\nSEMINAR\n\nDR. DAMIEN ZUFFEREY\n\nCOMPUTER SCIENCE AND ARTIFICIAL INTELLIGENCE LABORATORY\, MASSACHUSETTS\nINSTITUTE OF TECHN OLOGY\n\nINVITED BY PROFESSOR KRZYSZTOF CZARNECKI\n\n_ALL ARE WELCOME!_\n\ nABSTRACT: \n DTSTAMP:20250710T181008Z END:VEVENT END:VCALENDAR