COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |
Title TBCAdd 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 liststhehealthcareguardian Sir David Khalili's 'The Art of Peace' Lecture Intellectual ForumOther talksJCTS Presentations Varieties of minimal rational tangents and associated geometric substructures. Isomonodromic Deformations and Tau Functions Seminars in Cancer Random Cell Migration on Linear Tracks and Networks Formal Dinner at Selwyn College |