|![[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) |
TBAAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact nobody. VS2W01 - Vistas in Verified Software 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 listsChinese Culture Events engineering structure seminar Grames for the BrainOther talksAkilesh Verma title and abstract tba Patagonia WiMIUA Workshop Hors d'oeuvre Closing Event WiMIUA Workshop Akilesh Verma title and abstract tba Adapting the Fokas transform method to solve certain fractional PDEs Milner Therapeutics Hybrid Symposium |
Daniel Kroening (University of Oxford)
Monday 04 July 2022, 10:00-11:00