BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Software Foundations\, 15 years on - Benjamin Pierce (University o
 f Pennsylvania)
DTSTART:20220720T153000Z
DTEND:20220720T160000Z
UID:TALK176831@talks.cam.ac.uk
DESCRIPTION:The Software Foundations textbook series began as an experimen
 t with teaching core ideas of programming languages using a proof assistan
 t.&nbsp\; It has since blossomed into a series of six formalized texts on 
 a range of topics (including verified algorithms\, practical program verif
 ication for real-world code\, and random testing from formal specification
 s\, with at least two more volumes under construction) supporting an activ
 e community of educators and researchers.&nbsp\; This talk will give a sta
 tus report on the past and future of Software Foundations.
LOCATION:Seminar Room 2\, Newton Institute
END:VEVENT
END:VCALENDAR