![[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 > Bradfield Centre, 184 Cambridge Science Park, Milton Road, Cambridge, CB4 0GA
|
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 1 talk in the archive. Inaugural CAIS Lecture - Professor Lawrence Paulson FRS on Automated Theorem Proving
Please see above for contact details for this list. |
Other listsWest Road Concert Hall, Cambridge SG1 & SG2, Alison Richard Building, 7 West Rd, Cambridge CB3 9DT Divinity School, St John's College, CambridgeOther talksTitle to be confirmed The Inaccessible Game The Neurophenomenology of Surrender: Agency, Renewal, and Social Engagement in Speaking in Tongues Title to be confirmed John Kendrew Lecture - Title TBC Discussion II |
![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
Professor Lawrence Paulson FRS (Cambridge University).
Wednesday 08 March 2023, 18:30-21:00