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:69d874436999c
DTSTART;TZID=America/Toronto:20230607T133000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20230607T143000
URL:https://uwaterloo.ca/computer-science/events/masters-thesis-presentatio
 n-programming-languages-design-implementation-family-polymorphism-interact
 ive-theorem-proving
LOCATION:DC - William G. Davis Computer Research Centre 200 University Aven
 ue West Online master’s thesis presentation Waterloo ON N2L 3G1 Canada
SUMMARY:Master’s Thesis Presentation • Programming Languages • Design
 \nand Implementation of Family Polymorphism for Interactive Theorem\nProvi
 ng
CLASS:PUBLIC
DESCRIPTION:PLEASE NOTE: THIS MASTER’S THESIS PRESENTATION WILL TAKE PLAC
 E\nONLINE.\n\nENDE JIN\, MASTER’S CANDIDATE\n_David R. Cheriton School o
 f Computer Science_\n\nSUPERVISORS: Professors Yizhou Zhang\, Ondřej Lhot
 ák\n\nWith the growing practice of mechanizing language metatheories\, it
  has\nbecome ever more pressing that interactive theorem provers make it\n
 easy to write reusable\, extensible code and proofs.
DTSTAMP:20260410T035339Z
END:VEVENT
END:VCALENDAR