University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Our Software Systems Are Vulnerable. Imagine a World Where They're Not.

  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

Our Software Systems Are Vulnerable. Imagine a World Where They're Not.

Download to your calendar using vCal

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

OFBW70 - Formal Specification and Validation 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

Woodlegh Seminar Room, Strathaird, Lucy Cavendish College, CB3 0BU Cambridge University Engineering Department, LR4 room 330b, British Antarctic Survey, High Cross, Cambridge, CB3 0ET

Other talks

Washing machines and their rare components: lessons from kidney patients Bigger Picture Talk: Developing future marine engines running on ammonia and other green fuels Morning Tea and Coffee Title to be confirmed Cambridge AI in Medicine Seminar - July 2026 Polar Oceans Seminar Talk
 

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