Technical Talks - Department of Computer Science and Technology

Act III: Fantastic Beasts and How to Fly Them

George Prosser.

FW26, William Gates Building.

Monday 25 November 2024, 13:05-13:55

Partial Differential Equations seminar

Overhanging solitary water waves

Miles H. Wheeler (University of Bath).

MR13.

Monday 25 November 2024, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Controlling Behavioral Diversity in Multi-Agent Reinforcement Learning

Matteo Bettini (University of Cambridge).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Tuesday 26 November 2024, 13:00-14:00

Algorithms and Complexity Seminar

Dimension-free discretization inequalities with applications to low-degree learning

Joseph Slote (Caltech).

Computer Laboratory, William Gates Building, Room SS03.

Tuesday 26 November 2024, 13:00-14:00

Probability

Mixing times for the open ASEP

Dominik Schmid (Columbia).

MR12.

Tuesday 26 November 2024, 14:00-15:00

Cambridge ML Systems Seminar Series

Interpreting and Controlling Intermediate Representations in Large Language Models

Nicola Cancedda -Meta's Fundamental AI Research (FAIR) team. .

Computer Lab, LT1.

Tuesday 26 November 2024, 14:00-15:00

Computer Laboratory Security Seminar

Cyber security and privacy issues raised by mobile data extraction for evidential purposes. 

Anna-Maria Piskopani, Chris Hargreaves.

Webinar & LT2, Computer Laboratory, William Gates Building..

Tuesday 26 November 2024, 14:00-15:00

Number Theory Seminar

The leading constant in Malle's conjecture

Tim Santens (Cambridge).

MR13.

Tuesday 26 November 2024, 14:30-15:30

Probability

The *-Edge Reinforced random walk, bayesian statistics and statistical physics

Pierre Tarres (Paris and Shanghai).

MR12.

Tuesday 26 November 2024, 15:00-16:00

Mobile and Wearable Health Seminar Series

Enabling efficient and intelligent embedded systems for the next generation of human healthcare and well-being

Zoom: https://cam-ac-uk.zoom.us/j/85449107363?pwd=n8od3wrb7gFKvijAVySSruMYmQ58Lz.1

Nhat (Nick) Pham, University of Cardiff.

Computer Lab, SS03 and Online.

Tuesday 26 November 2024, 16:00-17:00

Discrete Analysis Seminar

An inverse theorem for the Gowers U^3 norm relative to quadratic level sets

Sean Prendiville (Lancaster University).

MR4, CMS.

Wednesday 27 November 2024, 13:30-15:00

Information Theory Seminar

From Classical to Quantum: Uniform Continuity Bounds on Entropies in Infinite Dimensions

Prof. Nilanjana Datta, DAMTP.

MR5, CMS Pavilion A.

Wednesday 27 November 2024, 14:00-15:00

Algebraic Geometry Seminar

Birational geometry and moduli spaces of fibrations, foliations and related objects.

Calum Spicer, King's College London.

CMS MR13.

Wednesday 27 November 2024, 14:15-15:15

Wednesday Seminars - Department of Computer Science and Technology

The first AGI will be Federated

Professor Nic Lane - Department of Computer Science and Technology, University of Cambridge.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 27 November 2024, 15:05-15:55

Differential Geometry and Topology Seminar

Scissors automorphism groups and their homology

Robin Sroka (Münster).

MR13.

Wednesday 27 November 2024, 16:00-17:00

Algebra and Representation Theory Seminar

A recursive formula for plethysm coefficients and some applications

Stacey Law, University of Birmingham.

MR12.

Wednesday 27 November 2024, 16:30-17:30

Cambridge Statistics Discussion Group (CSDG)

Cancer: misfortune or carelessness?

Peter Treasure, Peter Treasure Statistical Services Ltd.

AstraZeneca, Academy House, Hills Road Cambridge CB2 8PA.

Wednesday 27 November 2024, 19:15-21:30

Computer Laboratory Systems Research Group Seminar

Flow-based Encrypted Traffic Analysis

Daniel Poliakov, Brno University of Technology.

Computer Lab, FW11.

Thursday 28 November 2024, 15:00-16:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

Tobias Grosser (University of Cambridge).

MR14 Centre for Mathematical Sciences.

Thursday 28 November 2024, 17:00-18:00

Cambridge ML Systems Seminar Series

Balancing Quality and Efficiency in Future AI Systems

Shiqiang Wang - IBM.

Computer Lab, LT1.

Friday 29 November 2024, 11:00-12:00

NLIP Seminar Series

The Past, Present and Future of Tokenization

Benjamin Minixhofer (Language Technology Lab, University of Cambridge).

Zoom link: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

Friday 29 November 2024, 12:00-13:00

Energy and Environment Group, Department of CST

Conservation Evidence

Shrey Biswas / Radhika Iyer / Kacper Michalik, University of Cambridge.

FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Friday 29 November 2024, 13:00-13:55

Statistics

Posterior sampling via autoregressive generation

Kelly Zhang (Imperial College London).

Centre for Mathematical Sciences MR12, CMS.

Friday 29 November 2024, 14:00-15:00

Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series

In-ear Intelligence - From Sensing To Deployment

https://cam-ac-uk.zoom.us/j/86198895570?pwd=I7Z8N5eHfiEhjt1eTsLY3L5LrTsddE.1

Dong Ma, Singapore Management University.

SS03 and Virtual.

Friday 29 November 2024, 15:00-16:00

Technical Talks - Department of Computer Science and Technology

Ethicronics: Title to be confirmed

Speaker to be confirmed.

FW26, William Gates Building.

Monday 02 December 2024, 13:05-13:55

Partial Differential Equations seminar

Title to be confirmed

Hyunju Kwon - ETH Zürich.

MR13.

Monday 02 December 2024, 14:00-15:00

Computer Laboratory Security Seminar

Beyond Whack-A-Mole: Disrupting Online Crime and Harms through Law Enforcement and Industry Efforts

Anh V. Vu, University of Cambridge.

Webinar & LT2, Computer Laboratory, William Gates Building..

Tuesday 03 December 2024, 14:00-15:00

Probability

The Brownian loop measure on Riemann surfaces and applications to length spectra

Yilin Wang (IHES).

MR12.

Tuesday 03 December 2024, 14:00-15:00

Number Theory Seminar

TBC

Elvira Lupoian (UCL).

MR13.

Tuesday 03 December 2024, 14:30-15:30

Differential Geometry and Topology Seminar

Title to be confirmed

Maxim Jeffs (Cambridge).

MR13.

Wednesday 04 December 2024, 16:00-17:00

Cambridge Statistics Clinic

Statistics Clinic Michaelmas 2024 V

MR5 at the CMS.

MR5.

Wednesday 04 December 2024, 16:30-18:00

Algebra and Representation Theory Seminar

TBC

Adam Jones, University of Cambridge.

MR12.

Wednesday 04 December 2024, 16:30-17:30

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

Yaël Dillies (Stockholm Universitet).

MR14 Centre for Mathematical Sciences.

Thursday 05 December 2024, 17:00-18:00

Energy and Environment Group, Department of CST

Title to be confirmed

Sebastian Lehnhoff, Carl von Ossietzky University of Oldenburg.

FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Friday 06 December 2024, 13:00-13:55

Computer Laboratory Security Seminar

A detailed analysis of how locks and physical security become vulnerable to attack

Marc Weber Tobias, Investigative Law Offices.

Webinar & LT1, Computer Laboratory, William Gates Building..

Friday 13 December 2024, 14:00-15:00

Algorithms and Complexity Seminar

Models that prove their own correctness

Orr Paradise (UC Berkeley).

Computer Laboratory, William Gates Building, FW26.

Thursday 09 January 2025, 14:00-15:00

Quantum Computing Seminar

Interactive proofs for verifying (quantum) learning and testing

Matthias Caro (Warwick).

Computer Laboratory, William Gates Building, Room FW26..

Thursday 16 January 2025, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Title to be confirmed

Konstantin Hemker (University of Cambridge).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Tuesday 21 January 2025, 13:00-14:00

Algebraic Geometry Seminar

Title to be confirmed

Andrea di Lorenzo, University of Pisa.

CMS MR13.

Wednesday 22 January 2025, 14:15-15:15

Computer Laboratory Systems Research Group Seminar

OSDB: Turning the Tables on Kernel Data

George V. Neville-Neil, Elephance, Yale, Cambridge.

Computer Lab, FW11.

Thursday 23 January 2025, 15:00-16:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

Siddharth Bhat (University of Cambridge).

MR14 Centre for Mathematical Sciences.

Thursday 23 January 2025, 17:00-18:00

Energy and Environment Group, Department of CST

Title to be confirmed

Polly Hudson, Senior Research Fellow, The Alan Turing Institute.

FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Friday 24 January 2025, 13:00-13:55

Technical Talks - Department of Computer Science and Technology

Helsing: Title to be confrimed

Speaker to be confirmed.

FW26, William Gates Building.

Monday 27 January 2025, 13:05-13:55

Artificial Intelligence Research Group Talks (Computer Laboratory)

Title to be confirmed

Miruna Cretu (University of Cambridge).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Tuesday 28 January 2025, 13:00-14:00

Mobile and Wearable Health Seminar Series

Title to be confirmed

Sven Gowal, DeepMind.

Computer Lab, FW26 and Online.

Tuesday 28 January 2025, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

Dr Loïc Lannelongue - Department of Public Health and Primary Care, University of Cambridge.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 29 January 2025, 15:05-15:55

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

Emily Riehl (Johns Hopkins University).

MR14 Centre for Mathematical Sciences.

Thursday 30 January 2025, 17:00-18:00

Energy and Environment Group, Department of CST

Title to be confirmed

Toby Kiers, SPUN, Vrije Universiteit, Amsterdam.

FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Friday 31 January 2025, 13:00-13:55

Technical Talks - Department of Computer Science and Technology

MathWorks: Title to be confirmed

Speaker to be confirmed.

FW26, William Gates Building.

Monday 03 February 2025, 13:05-13:55

Cambridge Statistics Discussion Group (CSDG)

Title to be confirmed

Lara Mani, Centre for the Study of Existential Risk.

Department of Applied Mathematics and Theoretical Physics, Centre for Mathematical Sciences.

Monday 03 February 2025, 19:00-21:00

Information Theory Seminar

Title to be confirmed

Dr Fredrik Hellstrom, UCL.

MR5, CMS Pavilion A.

Wednesday 05 February 2025, 14:00-15:00

Algebra and Representation Theory Seminar

TBC

Beth Romano, King's College London.

MR12.

Wednesday 05 February 2025, 16:30-17:30

Formalisation of mathematics with interactive theorem provers

Formalisation of minimum cost flows in Isabelle/HOL

Thomas Ammer (King's College London).

MR14 Centre for Mathematical Sciences.

Thursday 06 February 2025, 17:00-18:00

Technical Talks - Department of Computer Science and Technology

Riverlane: Title to be confirmed

Kenton Barnes - Staff Quantum Engineer.

FW26, William Gates Building.

Monday 10 February 2025, 13:05-13:55

Partial Differential Equations seminar

Title to be confirmed

John R. King (University of Nottingham).

MR13.

Monday 10 February 2025, 14:00-15:00

Computer Laboratory Security Seminar

Designing Counter Strategies against Online Harms

Stefanie Ullmann, University of Cambridge.

Webinar & LT2, Computer Laboratory, William Gates Building..

Tuesday 11 February 2025, 14:00-15:00

Mobile and Wearable Health Seminar Series

Title to be confirmed

Shyam Tailor, Google.

Computer Lab, FW26 and Online.

Tuesday 11 February 2025, 16:00-17:00

Energy and Environment Group, Department of CST

Title to be confirmed

Cyrill Stachniss, University of Bonn.

FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

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

Partial Differential Equations seminar

Title to be confirmed

Annalaura Rebucci.

MR13.

Monday 17 February 2025, 14:00-15:00

Partial Differential Equations seminar

Title to be confirmed

Jacek Jendrej.

MR13.

Monday 24 February 2025, 14:00-15:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Title to be confirmed

Julius Cheng (University of Cambridge).

Lecture Theatre 2, Computer Laboratory, William Gates Building.

Tuesday 25 February 2025, 13:00-14:00

Mobile and Wearable Health Seminar Series

Title to be confirmed

Rajalakshmi Nandakumar, Cornell University.

Online.

Tuesday 25 February 2025, 16:00-17:00

Cambridge Statistics Discussion Group (CSDG)

Alan Turing and the Enigma Machine

James Grime, Institute of Continuing Education.

Lightfoot Room, Divinity School, St John's College, Cambridge, CB2 1TP.

Monday 03 March 2025, 19:00-21:00

Information Theory Seminar

Title to be confirmed

Gergely Flamich, University of Cambridge.

MR5, CMS Pavilion A.

Wednesday 05 March 2025, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

Dr Joe Watson - Co-founder, Xaira Therapeutics.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 05 March 2025, 15:05-15:55

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

Andrei Popescu (University of Sheffield).

MR14 Centre for Mathematical Sciences.

Thursday 06 March 2025, 17:00-18:00

Technical Talks - Department of Computer Science and Technology

MediaTek: Title to be confirmed

Speaker to be confirmed.

FW26, William Gates Building.

Monday 10 March 2025, 13:05-13:55

Mobile and Wearable Health Seminar Series

Wearable electrocardiography: from Holter to handheld devices

please note the change of time for this talk

Peter Charlton (University of Cambridge).

Computer Lab, LT2 and Online.

Tuesday 11 March 2025, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

Dr Edwin Brady - School of Computer Science, University of St Andrews.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 12 March 2025, 15:05-15:55

Peter Whittle Lecture

Title to be confirmed

Rina Foygel Barber (Chicago).

Centre for Mathematical Sciences MR2.

Thursday 13 March 2025, 16:00-17:00

Mobile and Wearable Health Seminar Series

Title to be confirmed

Marianna Obrist, UCL.

Computer Lab, FW26 and Online.

Tuesday 18 March 2025, 16:00-17:00

Information Theory Seminar

Title to be confirmed

Dr Lampros Gavalakis, University of Cambridge.

MR5, CMS Pavilion A.

Wednesday 19 March 2025, 14:00-15:00

Energy and Environment Group, Department of CST

Title to be confirmed

Jean Martina, Universidade Federal de Santa Catarina.

FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

Friday 28 March 2025, 13:00-14:00

Cambridge Statistics Discussion Group (CSDG)

Predicting recurrence of prostate cancer: a Bayesian approach

Roger Sewell.

Anglia Ruskin University, East Road, Cambridge CB1 1PT.

Thursday 10 April 2025, 19:15-21:30

Mordell Lectures

Title to be confirmed

Tim Austin (Warwick).

MR2, CMS.

Thursday 01 May 2025, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

Dr Prakash Murali - Department of Computer Science and Technology, University of Cambridge.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 07 May 2025, 15:05-15:55

Information Theory Seminar

Title to be confirmed

Prof. Marco Mondelli, Institute of Science and Technology Austria.

MR5, CMS Pavilion A.

Wednesday 28 May 2025, 14:00-15:00

Cambridge Statistics Discussion Group (CSDG)

All models are wrong and yours are useless: making clinical prediction models impactful for patients

Florian Markowetz, Cancer Research UK Cambridge Research Institute.

MRC Cognition and Brain Sciences Unit, Chaucer Road, Cambridge.

Tuesday 07 October 2025, 19:15-21:30

Cambridge Statistics Discussion Group (CSDG)

Benefits of data openness in a digital world

Sam Gilbert, Bennett Institute for Public Policy.

Venue to be confirmed.

Monday 03 November 2025, 19:00-21:00

Cambridge Statistics Discussion Group (CSDG)

100 years of educational trials – no significant difference?

Riikka Hofmann, Faculty of Education.

Venue to be confirmed.

Wednesday 26 November 2025, 19:00-21:00