|![[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) |
University of Cambridge > Talks.cam > Formalisation of mathematics with interactive theorem provers > Title to be confirmed
Title to be confirmedAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Anand Rao Tadipatri. This talk has been canceled/deleted Abstract not available This talk is part of the Formalisation of mathematics with interactive theorem provers 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 listsEPOC SciScreen Cambridge Latin AmericanOther talksCANCELLED: Rafal Szabla on Quantum Chemical Perspective on the Prebiotic Origins of RNA and DNA Interested in Nuclear for Health? Vibe checks and red teaming: why ML researchers are increasingly reverting to manual evaluation The History of MRAO Anti-Diffusion in an Algae-Bacteria Microcosm: Photosynthesis, Chemotaxis, and Expulsion |
Mantas Bakšys and Yaël Dillies (University of Cambridge)
Tuesday 02 January 2024, 17:00-18:00