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:20221106T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:6830eb5de74f2
DTSTART;TZID=America/Toronto:20230607T133000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20230607T143000
URL:/computer-science/events/masters-thesis-presentatio
 n-programming-languages-design-implementation-family-polymorphism-interact
 ive-theorem-proving
SUMMARY:Master’s Thesis Presentation • Programming Languages • Design
 \nand Implementation of Family Polymorphism for Interactive Theorem\nProvi
 ng
CLASS:PUBLIC
DESCRIPTION:Summary \n\nPLEASE NOTE: THIS MASTER’S THESIS PRESENTATION WI
 LL TAKE PLACE\nONLINE.\n\nENDE JIN\, MASTER’S CANDIDATE\n_David R. Cheri
 ton School of Computer Science_\n\nSUPERVISORS: Professors Yizhou Zhang\, 
 Ondřej Lhoták\n\nWith the growing practice of mechanizing language metat
 heories\, it has\nbecome ever more pressing that interactive theorem prove
 rs make it\neasy to write reusable\, extensible code and proofs.\n 
DTSTAMP:20250523T214045Z
END:VEVENT
END:VCALENDAR