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 > Afternoon Tea and Coffee
Afternoon Tea and CoffeeAdd to your list(s) 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 listsShort Course: Higher order regularisation in imaging Logic and Semantics for Dummies Cambridge Finance Seminar SeriesOther talksTBA Next Steps The mutations that drive cancer Lunch at Churchill College Impacting Medicine with Microfluidics & Nanotechnology: Advancing Diagnostics and Medicine Jane Street: One Log to Rule Them All - How to Keep State Straight in Distributed System |