Title to be confirmed | Department of Computer Science and Technology

skip to content

Date:

Friday, 29 May, 2026 - 14:00 to 15:00

Speaker:

Matteo Spadetto (University of Nottingham)

Venue:

SS03, Computer Laboratory

Seminar series:

Logic and Semantics Seminar

View on talks.cam

Calendar

Upcoming seminars

21May

From Measurement to Emissions: Assessing the Carbon Footprint of Traffic Flows

Sawsan El Zahr, University of Oxford

Systems Research Group Seminar
21May

Formalizing Polynomial Functors in Lean 4

Sina Hazratpour (University of Cambridge)

Formalisation of mathematics with interactive theorem provers
22May

Using A Function-Centric Lens to Re-consider Regularisation, Representation Transfer and Geometric Properties of Neural Networks

Israel Mason-Williams (Imperial/KCL)

NLIP Seminar Series
26May

SyQMA: A memory-efficient, symbolic and exact universal simulator for quantum error correction

George Umbrarescu, Department of Physics and Astronomy, University College London and Quantinuum, London

Quantum Computer Architectures and Theory Seminar
26May

Resource-Efficient Health Sensing from (W)Earables to Ecosystems

Özlem Durmaz-Incel, University of Twente

Mobile and Wearable Health Seminar Series

View all seminars