COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |
University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Group Photo and Morning Coffee
Group Photo and Morning CoffeeAdd to your list(s) 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 listsTuring Centenary Conference Graduate Development Lecture Series Cambridge University Eco RacingOther talksThe twistor geometry of a family of Schrödinger equations Specification and verification of multi-language programs in separation logic Twistor spaces for Spin(7) manifolds 2024 Kendrew Lecture: TBC MINFLUX nanoscopy and related matters Director's Briefing and Organiser's Welcome |