School of Technology 2026-04-24 12:00: Representational Space and Generalization : The Canonical Representation of a Task (Matthieu Téhénan (University of Cambridge)) 2026-04-24 14:00: Reachability Types, Traces, and Full Abstraction (Benedict Bunting (University of Cambridge)) 2026-04-28 11:00: Title to be confirmed (Dmitry Filippov, Department of Computer Science and Technology, University of Cambridge) 2026-04-30 10:30: CONFERENCE: Chemical and material sciences enabled by AI and automation (Speaker to be confirmed) 2026-04-30 17:00: Title to be confirmed (Floris van Doorn (University of Bonn)) 2026-05-01 12:00: Understanding the Interplay between LLMs' Utilisation of Parametric and Contextual Knowledge (Prof Isabelle Augenstein (University of Copenhagen)) 2026-05-01 13:00: Title to be confirmed (Speaker to be confirmed) 2026-05-01 14:00: Title to be confirmed (Dr Duncan MacLachlan, Rolls Royce) 2026-05-01 16:00: Rail Defects: The contribution of CUED to understanding a worldwide problem (Dr Stuart Grassie, Stuart Grassie Engineering Ltd) 2026-05-05 11:00: Why you can't trust your system software, and how you might (Prof Timothy Roscoe) 2026-05-06 15:05: Cultures of Programming: The Development of Programming Concepts and Methodologies (Professor Tomas Petricek - Department of Distributed and Dependable Systems, Faculty of Mathematics and Physics, Charles University, Czech Republic) 2026-05-08 12:00: CodeScaler: Scaling Code LLM Training and Test-Time Inference via Execution-Free Reward Models (Zhijiang Guo (HKUST (GZ) | HKUST)) 2026-05-08 13:00: Title to be confirmed (Zejia Yang, University of Cambridge) 2026-05-08 13:30: Bigger Picture Talk: Developing future marine engines running on ammonia and other green fuels (Johan Hult - Everllence) 2026-05-08 16:00: Title to be confirmed (Matt Bryan, PhD student, CUED) 2026-05-13 15:05: Title to be confirmed (Professor Simon Moore - Department of Computer Science and Technology, University of Cambridge) 2026-05-15 12:00: Title to be confirmed (Arduin Findeis (University of Cambridge)) 2026-05-15 13:00: Title to be confirmed (Speaker to be confirmed) 2026-05-15 16:00: Title to be confirmed (Dr Kenny Conto-Quipse, Research Associate, CUED) 2026-05-16 15:00: The AI Ecosystem as a Reasoning Maze: How Collaborative Intelligence Accelerates Scientific Discovery (Yuri Yuri (Oxford) ) 2026-05-16 15:00: The AI Ecosystem as a Reasoning Maze: How Collaborative Intelligence Accelerates Scientific Discovery (Yuri Yuri (Oxford) ) 2026-05-16 15:00: The AI Ecosystem as a Reasoning Maze: How Collaborative Intelligence Accelerates Scientific Discovery (Yuri Yuri (Oxford) ) 2026-05-20 15:05: Reasoning in groups, with human and artificial agents (Professor Tom Stafford - School of Psychology, University of Sheffield) 2026-05-22 12:00: Using A Function-Centric Lens to Re-consider Regularisation, Representation Transfer and Geometric Properties of Neural Networks (Israel Mason-Williams (Imperial/KCL)) 2026-05-22 13:00: Title to be confirmed (Speaker to be confirmed) 2026-05-22 16:00: Title to be confirmed (Racquel Domingues, Visiting PhD student, Federal University of Santa Catarina) 2026-05-26 16:00: Title to be confirmed (Özlem Durmaz-Incel, University of Twente) 2026-05-27 15:00: Title to be confirmed (Professor David Kotz - Department of Computer Science, Dartmouth College) 2026-05-28 17:00: Title to be confirmed (Thomas Powell (University of Bath)) 2026-05-29 13:00: Title to be confirmed (Speaker to be confirmed) 2026-05-29 14:00: Title to be confirmed (Matteo Spadetto (University of Nottingham)) 2026-05-29 16:00: Title to be confirmed (Iarla Boyce, PhD student, CUED) 2026-06-02 11:00: TBD (Marcel Dall'Agnol (Princeton)) 2026-06-03 15:05: Title to be confirmed (Dr Hana Aliee - Cancer Research UK, University of Cambridge) 2026-06-04 17:00: Positional encodings in LLMs (Valeria Ruscio) 2026-06-05 13:00: Title to be confirmed (Speaker to be confirmed) 2026-06-05 16:00: Non-stationarity in structural dynamics, challenges and implications for modelling and structural health monitoring (Dr Luis David Avendaño-Valencia, University of Southern Denmark) 2026-06-11 17:00: Title to be confirmed (Cameron Freer (MIT)) 2026-06-12 13:00: Title to be confirmed (Speaker to be confirmed) 2026-06-12 16:00: Title to be confirmed (Melisa Bozaci, PhD student, CUED) 2026-06-19 13:00: Title to be confirmed (Speaker to be confirmed) 2026-06-19 16:00: Title to be confirmed (Jacob Pantling, PhD student, Centre for Climate Repair, CUED) 2026-06-26 13:00: Title to be confirmed (Speaker to be confirmed) 2026-07-03 13:00: Title to be confirmed (Speaker to be confirmed) 2026-07-10 13:00: Title to be confirmed (Speaker to be confirmed) 2026-07-17 13:00: Title to be confirmed (Speaker to be confirmed)