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:20230312T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20231105T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:682f2651b0cdb
DTSTART;TZID=America/Toronto:20240104T140000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20240104T150000
URL:/computer-science/events/phd-seminar-fm-se-towards-
 formal-analysis-of-parametric-cooperative-cyber-physical-systems
SUMMARY:PhD Seminar • Formal Methods | Software Engineering • Towards\n
 Formal Analysis of Parametric Cooperative Cyber-Physical Systems
CLASS:PUBLIC
DESCRIPTION:Summary \n\nPLEASE NOTE: THIS PHD SEMINAR WILL TAKE PLACE ONLIN
 E.\n\nRANIAH ALGHAMDI\, PHD CANDIDATE\n_David R. Cheriton School of Comput
 er Science_\n\nSUPERVISOR: Professor Richard Trefler\n 
DTSTAMP:20250522T132745Z
END:VEVENT
END:VCALENDAR