University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Panel chaired by Natarajan Shankar (SRI International)

  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

Panel chaired by Natarajan Shankar (SRI International)

Download to your calendar using vCal

  • UserPaul W2 (National Cyber Security Centre), Jade Alglave (ARM), Darren Cofer (Collins Aerospace), Raymond Richards (Leidos)
  • ClockMonday 21 October 2024, 14:45-15:30
  • HouseSeminar Room 1, Newton Institute.

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

Ryle Seminar Room (930), Cavendish Laboratory, Department of Physics Dept. of Engineering, Trumpington Street, CB2 1PZ Webinar & LT2, Computer Laboratory, William Gates Building.

Other talks

Group Work The Imagined Conflict: On Science and God title abstract tbc The elephant in the room: Machine Learning directly into physical models Geometry and Generalization: The case of Grokking Peri-Operative Medicine, and Obstetrics and Gynaecology
 

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