|![[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) |
DELETEDAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Chong Donatelli. DELETED DELETED This talk is part of the Chong Donatelli series. This talk is included in these lists:Note that ex-directory lists are not shown. |
Other listsUK~IRC Summit PLACEB-O 'In Conversation' Seminar SeriesOther talksDraft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs Exploring terminal duct lobular unit (TDLU) development using non-traditional models Jane Street: One log to rule them all – How to keep state straight in distributed systems Uniform numerical-asymptotics for integrable systems via Riemann–Hilbert problems Algorithm design for reinforcement learning and optimisation On Escaping or Not Escaping Solitude. Persian Tales of Turtles and Pearls |
DELETED
Thursday 20 October 2022, 11:00-12:00