University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Vistas in Proof-oriented Programming: F*, Everest, and Beyond

  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

Vistas in Proof-oriented Programming: F*, Everest, and Beyond

Download to your calendar using vCal

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

VS2W01 - Vistas in Verified Software

I will speak about the F* proof-oriented programming language, its use in Project Everest to build and deploy correct and secure communications software, and some challenges and opportunities ahead.

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

Room FW11, Computer Laboratory, William Gates Building Zoom Link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon. Lecture Room 6, Engineering Department - TBC Room 8 (ground floor) at the Faculty of Asian and Middle Eastern Studies (FAMES)

Other talks

Task performance predicts the substitution of feedforward by feedback drive in visual cortex Topic Film, TV shows for Medical Education, ‘The Wire’ as a case study Title TBC Title to be confirmed The rise of local cartography in Europe, 12th-14th century Group Presentation 1
 

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