|![[Search]](http://talks.cam.ac.uk/images/search.gif?1209136071)
|![[A-Z Index]](http://talks.cam.ac.uk/images/az.gif?1209136071)
|![[Contact]](http://talks.cam.ac.uk/images/contact.gif?1209136071)
||![[University of Cambridge]](http://talks.cam.ac.uk/images/identifier2.gif?1209136071){kind=small} |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![[Talks.cam]](http://talks.cam.ac.uk/images/talkslogosmall.gif?1209136071) |
University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Director's Briefing and Organiser's Welcome
Director's Briefing and Organiser's WelcomeAdd 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 listsThe Craik Journal Club Enterprise Tuesday 2016-2017 Peterhouse Graduate SeminarsOther talksActive Hydraulics Clay Public Lecture: Diffusion in the random Lorentz gas Quantum Groups Hypo-elliptic Diffusions on Graphs Killing tensors on complex projective space |
Ulrike Tillmann (Isaac Newton Institute)
Monday 07 October 2024, 10:00-10:15