Logic and Semantics Seminar (Computer Laboratory)

Liberating synthetic quasi-coherence from syntax

David Jaz Myers (Topos Institute).

SS03, Computer Laboratory.

Friday 07 November 2025, 14:00-15:00

Computer Laboratory Systems Research Group Seminar

Two talk double feature: NetFridgeS and The Small World Web of AI

This is a double-header (two talks for the price of one)

Zhukun Wang (University of Oxford) / Noa Zilberman (University of Oxford).

SS03 William Gates Building.

Tuesday 11 November 2025, 15:00-16:00

Computer Laboratory Systems Research Group Seminar

Two talk double feature: NetFridgeS and The Small World Web of AI

NOTE LOCATION/TIME - This is a double-header (two talks for the price of one)

Zhukun Wang (University of Oxford) / Noa Zilberman (University of Oxford).

SS03 William Gates Building.

Tuesday 11 November 2025, 15:00-16:00

Wednesday Seminars - Department of Computer Science and Technology

From research lab to newsroom: deploying secure whistleblower technology in practice

Dr Daniel Hugenroth and Professor Alastair Beresford - Department of Computer Science and Technology, University of Cambridge.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

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

compiler socials

Full Stack Verification of CHERI systems

Murali Vijayaraghavan, MIT.

Computer Laboratory, William Gates Building, LT1.

Monday 17 November 2025, 11:12-12:00

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

Professor Mateja Jamnik - Department of Computer Science and Technology, University of Cambridge..

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 19 November 2025, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

Dr Ayush Terwari - Department of Engineering, University of Cambridge.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 26 November 2025, 15:05-15:55

Logic and Semantics Seminar (Computer Laboratory)

Title to be confirmed

Christine Tasson (Institut Supérieur de l’Aéronautique et de l’Espace).

SS03, Computer Laboratory.

Friday 28 November 2025, 14:00-15: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 03 December 2025, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

Professor Steve Awodey - Department of Philosophy, Carnegie Mellon University .

Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 28 January 2026, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Geometric Gaussian Processes

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

Lecture Theatre 1, Computer Laboratory, William Gates Building.

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

Wednesday Seminars - Department of Computer Science and Technology

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

Paul Draper.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

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

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

Dr Rika Antonova - Department of Computer Science and Technology, University of Cambridge.

Lecture Theatre 1, Computer Laboratory, William Gates Building.

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