|![[Search]](https://talks.cam.ac.uk/images/search.gif?1209136071)
|![[A-Z Index]](https://talks.cam.ac.uk/images/az.gif?1209136071)
|![[Contact]](https://talks.cam.ac.uk/images/contact.gif?1209136071)
||![[University of Cambridge]](https://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]](https://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. This talk has been canceled/deleted This talk is part of the Isaac Newton Institute Seminar Series series. This talk is included in these lists:This talk is not included in any other list Note that ex-directory lists are not shown. |
Other listsLucy Cavendish College Type the title of a new list here Cambridge Centre for Risk StudiesOther talksOral Session 4 Abstract nested Hoare triples for modular specification of safety and liveness properties of the I/O behaviour of programs Statistics Clinic Summer 2022 IV BSU Seminar: "Design and Inference for Enrichment Trials with a Continuous Biomarker" Tame class field theory over local fields |
Oliver Schlotterer (Uppsala Universitet)
Monday 01 August 2022, 10:00-11:00