![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
Hybrid: in-person in Cambridge & online via Teams
Contact: No managers listed
0 upcoming talks View 0 archived talks
No upcoming talks scheduled for this series.
Please see above for contact details for this list.
![[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) |
|
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. 0 upcoming talks and 0 talks in the archive. Please see above for contact details for this list. |
Other listshttps://zoom.us/j/95850946576?pwd=Zm43NFZsKys3Nk1MQS9QV3NiVzdidz09 Mills & Reeve, Botanic House, 98-100 Hills Rd, Cambridge CB2 1PH Lecture Theatre 2, Institute for Manufacturing, University of CambridgeOther talksReachability Types, Traces, and Full Abstraction Group Work Formalising mathematics and spectral geometry in Lean Rothschild Public Lecture: The Quantum Centenary: from Order to Chaos Wolfson Tool Factory Title tbc |