University of Cambridge > Talks.cam > Program verification reading group. > Alfredo on "Proof carrying code"

  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

Alfredo on "Proof carrying code"

Download to your calendar using vCal

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

Alfredo will present the paper: http://www.cs.berkeley.edu/~necula/Papers/marktoberdorf.pdf

This talk is part of the Program verification reading group. series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

CRASSH Illuminating Friendship FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon Webinar & FW11, Computer Laboratory, William Gates Building.

Other talks

Whether and when: Split-population cure models of women's work and parity progression in Derbyshire, 1881-1911 Afternoon Break Morning Break Tea and Coffee Break Machine Learning for Spectral Geometry and Vice Versa Shining a light on the origin of supermassive black holes with cosmological simulations
 

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