![[University of Cambridge]](/static/images/identifier2.gif){kind=small} |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![[Talks.cam]](/static/images/talkslogosmall.gif) |
University of Cambridge > Talks.cam > Online; live-streamed at MR14 Centre for Mathematical Sciences
|
If you have a question about this list, please contact: (no managers). If you have a question about a specific talk, click on that talk to find its organiser. 1 upcoming talk and 0 talks in the archive. Formalisation of mathematics with interactive theorem provers Title to be confirmed
Please see above for contact details for this list. |
Other listsMuseum of Archaeology & Anthropology Cambridge Railway Station BlogOther talksFILM: One With The Whale Polar Oceans Seminar Talk - Christopher Wolfe Title to be confirmed Title to be confirmed Title TBC Group Work |
![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
Cameron Freer (MIT).
Thursday 11 June 2026, 17:00-18:00