ON THE SHEAFIFICATION OF HIGHER-ORDER MESSAGE PASSING | Department of Computer Science and Technology

skip to content

Date:

Thursday, 23 October, 2025 - 13:00 to 14:00

Speaker:

Jake Hume, University of Cambridge

Venue:

Computer Laboratory, William Gates Building, Lecture Theatre 1

etc

hybrid

Seminar series:

Foundation AI

View on talks.cam

Calendar

Upcoming seminars

16Oct

Using interactive theorem provers in physics

Joseph Tooby-Smith (University of Bath)

Formalisation of mathematics with interactive theorem provers
17Oct

Making and breaking tokenizers

Sander Land (Writer)

NLIP Seminar Series
17Oct

The Dichotomy Theorem on the computational complexity of the Constraint Satisfaction Problem

Petar Markovic (University of Novi Sad)

Logic and Semantics Seminar
20Oct

Federated Learning at H.IAAC: On-going Research and Opportunities

Allan M. de Souza & Luiz Bittencourt, Universidade Estadual de Campinas (UNICAMP), Brazil

Cambridge ML Systems Seminar Series
20Oct

Bloomberg: Observability in Action: Designing Effective Dashboards

Speaker to be confirmed

Technical Talks

View all seminars