![[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 2 talks in the archive. Computer Laboratory Computer Architecture Group Meeting Recursive Definitions in Lean
Computer Laboratory Computer Architecture Group Meeting Recursive Definitions in Lean
Please see above for contact details for this list. |
Other listsHodgkin-Huxley Seminat Room, Physiology Building Barbara White Room, Newnham College Meeting room 14 Centre for Mathematical SciencesOther talksGastroenterology and Acute Medicine The Imagined Conflict: On Science and God Cambridge RNA Club - ONLINE Talk TBC TBC When Programmes Disagree About Programmes: Code Poetry and the Problem of Programme–Programme Communication |
![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
Joachim Breitner, Lean FRO.
Friday 15 August 2025, 11:15-12:15