![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Benjamin Pierce (University of Pennsylvania)
Wednesday 20 July 2022, 16:30-17:00
Software Foundations, 15 years on
â ī¸ Important: VSO2 - Verified software
- đ¤ Speaker: Benjamin Pierce (University of Pennsylvania)
- đ Date & Time: Wednesday 20 July 2022, 16:30 - 17:00
- đ Venue: Seminar Room 2, Newton Institute
Questions? Contact
the organiser
Abstract
The Software Foundations textbook series began as an experiment with teaching core ideas of programming languages using a proof assistant. It has since blossomed into a series of six formalized texts on a range of topics (including verified algorithms, practical program verification for real-world code, and random testing from formal specifications, with at least two more volumes under construction) supporting an active community of educators and researchers. This talk will give a status report on the past and future of Software Foundations.
Series This talk is part of the Isaac Newton Institute Seminar Series series.
Included in Lists
- All CMS events
- bld31
- dh539
- Featured lists
- INI info aggregator
- Isaac Newton Institute Seminar Series
- School of Physical Sciences
- Seminar Room 2, Newton Institute
Note: Ex-directory lists are not shown.