Department of Computer Science and Technology talks and seminars

House Room GS15 at the William Gates Building and on Zoom: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Can Agentic AI Accelerate IUCN Red List Assessments?

User Shane Weisz, University of Cambridge.

Friday 13 February 2026, 13:00-14:00

House ONLY ONLY. Here is the Google Meet Link: https://meet.google.com/cru-hcuo-rhu.

Title to be confirmed

User Atticus Geiger (Goodfire) .

Friday 13 February 2026, 16:00-17:00

Cambridge ML Systems Seminar Series

Bringing distributed training natively to Transformers library

User Ferdinand Mom - Hugging Face.

House Computer Lab, LT1.

Monday 16 February 2026, 14:30-15:30

Foundation AI

Large Language Models, Model Collapse, and the Conservation of Information

LT1

User George Montanez.

House Computer Laboratory, William Gates Building, Room FW26.

Tuesday 17 February 2026, 15:00-16:00

Information Theory Seminar

Applications of Algorithmic Information Theory

User Prof Marcus Hutter, Google DeepMind, London.

House MR5, CMS Pavilion A.

Wednesday 18 February 2026, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Geometric Gaussian Processes

User Dr Viacheslav Borovitskiy - School of Informatics Institute for Adaptive and Neural Computation, University of Edinburgh .

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 18 February 2026, 15:05-15:55

Formalisation of mathematics with interactive theorem provers

Certifying Synthetic Mathematics in Lean

User Wojciech Nawrocki (Carnegie Mellon University).

House MR14 Centre for Mathematical Sciences.

Thursday 19 February 2026, 17:00-18:00

House FW11 Hybrid (In-Person + Online). Here is the Google Meet Link: https://meet.google.com/cru-hcuo-rhu.

Title to be confirmed

User Arduin Findeis (University of Cambridge).

Friday 20 February 2026, 12:00-13:00

House Room GS15 at the William Gates Building and on Zoom: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

3D Radiative Transfer Modeling of Heterogeneous Vegetation Canopies: from Reflectance to Photosynthesis

User Jianbo Qi, Beijing Normal University .

Friday 20 February 2026, 13:00-14:00

Quantum Computer Architectures and Theory Seminar

Fault Tolerance by Construction

User Benjamin Rodatz, Department of Computer Science, University of Oxford.

House Computer Laboratory, William Gates Building, Room FW11.

Tuesday 24 February 2026, 11:00-11:50

Computer Laboratory Security Seminar

Title to be confirmed

User Marco Zenone, University of Ottawa.

House Webinar & FW11, Computer Laboratory, William Gates Building..

Tuesday 24 February 2026, 14:00-15:00

House Computer Lab, FW11 and Online.

AI for Future Healthcare

https://cam-ac-uk.zoom.us/j/89579877801?pwd=7OZ116Hh9XwJeEy6ZDMbbYF63ViN13.1

User Bjoern Eskofier, Ludwig-Maximilians-Universität (LMU) Munich.

Tuesday 24 February 2026, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

The Cybersecurity Awareness Experience: A Masterclass in Social Engineering, Behavioral Psychology, and Digital Self-Defense

User Paul Draper.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 25 February 2026, 15:00-16:00

Computer Laboratory Systems Research Group Seminar

Automatically Formally Verified Hardware using Aristotle

User Satnam Singh, Software Engineer, Harmonic.

House Computer Lab, FW26.

Thursday 26 February 2026, 14:00-15:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

User Axel Ljungström (University of Nottingham).

House MR14 Centre for Mathematical Sciences.

Thursday 26 February 2026, 17:00-18:00

House FW11 Hybrid (In-Person + Online). Here is the Google Meet Link: https://meet.google.com/cru-hcuo-rhu.

What Happens When They're Smarter Than Us?

User Dr Konstantinos Voudouris (UK AI Security Institute).

Friday 27 February 2026, 12:00-13:00

House Room GS15 at the William Gates Building and on Zoom: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

EO-AI4GlobalChange: AI-Driven Earth Observation for Monitoring Global Environmental Change

User Yifang Ban, Professor and Director, Division of Geoinformatics KTH Royal Institute of Technology Associate Director, Digital Futures Stockholm, Sweden Lead, GEO AI4EO Working Group.

Friday 27 February 2026, 13:00-14:00

Computer Laboratory Security Seminar

Title to be confirmed

User Hossein Hafezi, New York University (NYU).

House Webinar & SS03, Computer Laboratory, William Gates Building..

Tuesday 03 March 2026, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Automated Translation of Real-World Codebases: How Far Are We?

User Dr Cristina David - School of Computer Science, University of Bristol.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 04 March 2026, 15:05-15:55

House Computer Lab, LT2 and Online.

Title to be confirmed

User Dimitris Spathis, Google.

Thursday 05 March 2026, 14:00-15:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

User Anand Rao Tadipatri (University of Cambridge).

House MR14 Centre for Mathematical Sciences.

Thursday 05 March 2026, 17:00-18:00

House FW11 Hybrid (In-Person + Online). Here is the Google Meet Link: https://meet.google.com/cru-hcuo-rhu.

Title to be confirmed

User Mario Giulianelli (UCL).

Friday 06 March 2026, 12:00-13:00

House Room GS15 at the William Gates Building and on Zoom: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Tom Bearpark, Princeton University.

Friday 06 March 2026, 13:00-14:00

Quantum Computer Architectures and Theory Seminar

Space-Time Optimisations for Early Fault-Tolerant Quantum Computation

User Sanaa Sharma, Department of Computer Science and Technology, University of Cambridge.

House Computer Laboratory, William Gates Building, Room FW11.

Tuesday 10 March 2026, 11:00-11:50

House Computer Lab, LT2 and Online.

Title to be confirmed

User Ian Tang, Meta.

Tuesday 10 March 2026, 14:00-15:00

Computer Laboratory Security Seminar

Am I a Member? Auditing Private Machine Learning

User Nicolas Papernot, University of Toronto.

House Webinar & FW11, Computer Laboratory, William Gates Building..

Tuesday 10 March 2026, 14:00-15:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

User Christoph Benzmüller (Otto-Friedrich-Universität Bamberg and Freie Universität Berlin).

House Online; live-streamed at MR14 Centre for Mathematical Sciences.

Thursday 12 March 2026, 17:00-18:00

House ONLY ONLY. Here is the Google Meet Link: https://meet.google.com/cru-hcuo-rhu.

Title to be confirmed

User Zhijiang Guo (HKUST (GZ) | HKUST).

Friday 13 March 2026, 12:00-13:00

House Room GS15 at the William Gates Building and on Zoom: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

PILA: Physics-Informed Low Rank Augmentation for Interpretable Earth Observation

User Yihang She, University of Cambridge.

Friday 13 March 2026, 13:00-14:00

House FW26 Hybrid (In-Person + Online). Here is the Google Meet Link: https://meet.google.com/cru-hcuo-rhu.

Representational Geometry of Language Models

User Matthieu Téhénan (University of Cambridge).

Friday 20 March 2026, 12:00-13:00

House Room GS15 at the William Gates Building and on Zoom: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Reconstructing Landsat Archive 1997-2024+: Sun, Clouds, Snow, Noise and Humans

User Tomislav Hengl, OpenGeoHub Foundation.

Friday 20 March 2026, 13:00-14:00

Quantum Computer Architectures and Theory Seminar

Quantum state preparation via piecewise QSVT

User Oliver O'Brien, Centre for Quantum Information and Foundations, Department of Applied Maths and Theoretical Physics, University of Cambridge.

House Computer Laboratory, William Gates Building, Room FW26.

Tuesday 24 March 2026, 11:00-11:50

Robotics Seminar Series

Compositional Design of Society-Critical Systems: From Autonomy to Future Mobility

User Gioele Zardini.

House Department of Computer Science and technology, SS03.

Thursday 26 March 2026, 15:00-16:00

House Room GS15 at the William Gates Building and on Zoom: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 27 March 2026, 13:00-14:00

House Room GS15 at the William Gates Building and on Zoom: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 03 April 2026, 13:00-14:00

House Room GS15 at the William Gates Building and on Zoom: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 10 April 2026, 13:00-14:00

House Computer Lab, FW26 and Online.

Title to be confirmed

User Yuzhe Yang, UCLA and Google.

Tuesday 14 April 2026, 16:00-17:00

House Room GS15 at the William Gates Building and on Zoom: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 17 April 2026, 13:00-14:00

House Room GS15 at the William Gates Building and on Zoom: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 24 April 2026, 13:00-14:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

User Floris van Doorn (University of Bonn).

House Online; live-streamed at MR14 Centre for Mathematical Sciences.

Thursday 30 April 2026, 17:00-18:00

House FW11 Hybrid (In-Person + Online). Here is the Google Meet Link: https://meet.google.com/cru-hcuo-rhu.

Understanding the Interplay between LLMs' Utilisation of Parametric and Contextual Knowledge

User Prof Isabelle Augenstein (University of Copenhagen).

Friday 01 May 2026, 12:00-13:00

House Room GS15 at the William Gates Building and on Zoom: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 01 May 2026, 13:00-14:00

House Room GS15 at the William Gates Building and on Zoom: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 08 May 2026, 13:00-14:00

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

User Professor Simon Moore - Department of Computer Science and Technology, University of Cambridge.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 13 May 2026, 15:05-15:55

House Room GS15 at the William Gates Building and on Zoom: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 15 May 2026, 13:00-14:00

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

User Özlem Durmaz-Incel, University of Twente.

House Online.

Tuesday 19 May 2026, 16:00-17:00

Title to be confirmed

User Professor Tom Stafford - School of Psychology, Universitry of Sheffield.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 20 May 2026, 15:05-15:55

House Room GS15 at the William Gates Building and on Zoom: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 22 May 2026, 13:00-14:00

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

User Professor David Kotz - Department of Computer Science, Dartmouth College.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 27 May 2026, 15:00-16:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

User Thomas Powell (University of Bath).

House Centre for Mathematical Sciences, MR14.

Thursday 28 May 2026, 17:00-18:00

House Room GS15 at the William Gates Building and on Zoom: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 29 May 2026, 13:00-14:00

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

User Dr Hana Aliee - Cancer Research UK, University of Cambridge.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 03 June 2026, 15:05-15:55

Foundation AI

Positional encodings in LLMs

User Valeria Ruscio.

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Thursday 04 June 2026, 17:00-17:45

House Room GS15 at the William Gates Building and on Zoom: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 05 June 2026, 13:00-14:00

House Room GS15 at the William Gates Building and on Zoom: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 12 June 2026, 13:00-14:00

House Room GS15 at the William Gates Building and on Zoom: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 19 June 2026, 13:00-14:00

House Room GS15 at the William Gates Building and on Zoom: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 26 June 2026, 13:00-14:00

House Room GS15 at the William Gates Building and on Zoom: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 03 July 2026, 13:00-14:00

House Room GS15 at the William Gates Building and on Zoom: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Title to be confirmed

User Speaker to be confirmed.

Friday 10 July 2026, 13:00-14:00