|![[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} |
You need to be logged in to carry this out. If you don't have an account, feel free to create one. |
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 > Isaac Newton Institute Seminar Series > Welcome Wine Reception
Welcome Wine ReceptionAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact nobody. BPRW03 - Big proof: formalizing mathematics at scale This talk is part of the Isaac Newton Institute Seminar Series series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsSoc Doc Soc Department of Chemistry "See Naples and Dial - An italian Job"Other talksThe Heisenberg algebra of a vector space and Hochschild homology Ocean dynamics in the Ross Ice Shelf cavity from in situ observations MHM Pop-up - China, East and Southeast Asia Cambridge RNA Club - IN PERSON LMB Seminar - Title TBC What’s the DVM Research Admin Team Up To? Grants, Culture, Impact & New Collaborations! |
Monday 09 June 2025, 16:30-18:00