|![[Search]](http://talks.cam.ac.uk/images/search.gif?1209136071)
|![[A-Z Index]](http://talks.cam.ac.uk/images/az.gif?1209136071)
|![[Contact]](http://talks.cam.ac.uk/images/contact.gif?1209136071)
||![[University of Cambridge]](http://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]](http://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 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 listsInstitute of Astronomy Colloquia Clinician Engineer Hub - Winter Exchange 2023 Let count inOther talksPlanning and Economic Studies Section of the IAEA Simplified Earth-abundant metal catalysis, C–H activation and transborylation Using adjoints to efficiently train a digital twin of air pollution in Kampala On waves in certain lattices and formulating `canonical' questions |
Speaker to be confirmed
Thursday 08 June 2023, 17:00-18:00