|![[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 > TBC
TBCAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Angeliki Koutsoukou-Argyraki. 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 listsRSC South East England Regional Meeting CU Israel SocietyOther talksAnalyzing artificial neural networks to understand the brain Batteries, Dynamos, and All That Connecting Sensory Perception to Longevity in C. elegans Grand Rounds - Medicine - The Textbook Addisonian? Monte Carlo on Rails: The Random Ray Method of Neutron Transport |
Marco David
Wednesday 26 January 2022, 17:00-18:00