![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Benedict Bunting (University of Cambridge).
Friday 24 April 2026, 14:00-15:00
Martin's interesting talks
A personal list of talks.
Contact: Martin Fixman
22 upcoming talks View 2126 archived talks
Logic and Semantics Seminar (Computer Laboratory)
Reachability Types, Traces, and Full Abstraction
Cambridge Society for the Application of Research (CSAR)
CSAR lecture: In a post-Ozempic world, have we cured obesity?
Formalisation of mathematics with interactive theorem provers
Title to be confirmed
Wednesday Seminars - Department of Computer Science and Technology
Title to be confirmed
Wednesday Seminars - Department of Computer Science and Technology
Title to be confirmed
Foundation AI
The AI Ecosystem as a Reasoning Maze: How Collaborative Intelligence Accelerates Scientific Discovery
Foundation AI
The AI Ecosystem as a Reasoning Maze: How Collaborative Intelligence Accelerates Scientific Discovery
Foundation AI
The AI Ecosystem as a Reasoning Maze: How Collaborative Intelligence Accelerates Scientific Discovery
Wednesday Seminars - Department of Computer Science and Technology
Title to be confirmed
Wednesday Seminars - Department of Computer Science and Technology
Title to be confirmed
Formalisation of mathematics with interactive theorem provers
Title to be confirmed
Logic and Semantics Seminar (Computer Laboratory)
Title to be confirmed
Wednesday Seminars - Department of Computer Science and Technology
Title to be confirmed
Foundation AI
Positional encodings in LLMs
Darwin College Lecture Series
Cooperation as a Laboratory of Being
Darwin College Lecture Series
Cooperation in Nature
Darwin College Lecture Series
Market Failure, Organ Shortage, Pandemic and Climate Change: The Architecture of Cooperation
Darwin College Lecture Series
Welfare Reform and the Imperative of Cooperation
Darwin College Lecture Series
The Magic of Magnetism
Darwin College Lecture Series
Security Cooperation within Government and between Governments
Darwin College Lecture Series
Together Now: Cooperation and Collaboration in Social Art Practice
Darwin College Lecture Series
Cooperation for Nature
Please see above for contact details for this list.