|![[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} |
![[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 Jonas Bayer. 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 listsThe National Trust for Scotland Type the title of a new list here Keita Tamura Lab @ PDNOther talksEstradiol feedback on the reproductive neuroendocrine system Enhancing dimensionality of in-vitro GPCR drug discovery Interaction between fast tides and convection Andrew Robinson on "Vital Signs: What has Semiotics to do with the Origins of Life?" Linking Invariant Theory to Maximum Likelihood Estimation |
Thursday 07 March 2024, 17:00-18:00