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:683bed0c49489
DTSTART;TZID=America/Toronto:20240306T103000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20240306T113000
URL:/computer-science/events/seminar-programming-langua
 ges-formal-reasoning-about-programs
SUMMARY:Seminar • Programming Languages • Formal Reasoning About Progra
 ms
CLASS:PUBLIC
DESCRIPTION:Summary \n\nPLEASE NOTE: THIS SEMINAR WILL TAKE PLACE IN DC 130
 4.\n\nAMIN TIMANY\, ASSISTANT PROFESSOR\n_Logic and Semantics Group\, Depa
 rtment of Computer Science\, Aarhus\nUniversity_\n 
DTSTAMP:20250601T060252Z
END:VEVENT
END:VCALENDAR