University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Proof-oriented Programming: Foundations, Systems, & AI

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

Proof-oriented Programming: Foundations, Systems, & AI

Download to your calendar using vCal

If you have a question about this talk, please contact nobody.

BSPW01 - Big Specification: Specification, Proof, and Testing at Scale

This talk is part of the Isaac Newton Institute Seminar Series series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

OCR CUEX Presents: On Foot Across China And Other Human Powered Adventures https://us02web.zoom.us/meeting/register/tZwkf-qoqjIpG90fhUQu_PUwwjLQZi2lWRKD

Other talks

Title to be confirmed Title TBC Online Causal Inference Semina Title to be confirmed Theophilus Richmond’s The First Crossing: The Transition from Slavery to Indentureship in the Caribbean and the Case of the Black Slave on the Hesperus Sera Markoff Inaugural Lecture for the Plumian Professorship in Astronomy and Experimental Philosophy - 'Staring into the heart of darkness: from theory to the direct imaging of black holes'
 

© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity