BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Bob Harper - Principles of Programming Languages at CMU - 
DTSTART:20220720T123000Z
DTEND:20220720T130000Z
UID:TALK176816@talks.cam.ac.uk
DESCRIPTION:The (required*) undergraduate PL class at CMU is taught in a r
 igorous style amenable to direct formulation in Twelf.&nbsp\; Yet I resist
  using mechanization in this course\, as it would interfere with learning 
 objectives and detract significantly from the course content.&nbsp\; I arg
 ue instead that mechanization belongs at a higher-level course on that sub
 ject.&nbsp\;&nbsp\;
LOCATION:Seminar Room 2\, Newton Institute
END:VEVENT
END:VCALENDAR