Wednesday 9 December 2015

• 10:00 - Ada Lovelace Symposium: Celebrating 200 years of a computer visionary
  TBA

Thursday 12 March 2020

• 17:00 - Newton Abraham Lecture, followed by drinks and canapes in the North Court
  Professor Alan Garfinkel (University of California, Los Angeles)

Friday 7 May 2021

• 10:30 - The State of Tech Innovation in Canada by Patrick Pichette
  Patrick Pichette (Inovia Capital)

Tuesday 19 November 2024

• 15:00 - Strachey Lecture: From probabilistic bisimulation to representation learning via metrics
  Professor Prakash Panangaden (McGill University)

Thursday 20 February 2025

• 14:30 - Semantic Models for Trustworthy Systems: A Hybrid Intelligence Augmentation Program
  Professor Giancarlo Guizzardi (University of Twente)

Tuesday 4 March 2025

• 11:00 - Privacy, Verification, Robustness: A Cryptographer's perspective on ML
  Professor Shafi Goldwasser (University of California Berkeley)
  The Strachey Lectures in Computer Science

Thursday 13 March 2025

• 15:00 - Algorithmic Bias in Criminal Justice: Measurement Bias and Risk Assessment Instruments
  Prof Charles Loeffler (University of Pennsylvania)

Friday 14 March 2025

• 14:00 - Efficiency, Resilience, and Artificial Intelligence
  Moshe Y. Vardi (Rice University, USA)

Tuesday 6 May 2025

• 14:30 - The Lean Theorem Prover/Will computers prove theorems?
  This Strachey Lecture is a double bill taking place from 14:30-16:30 (followed by coffee)
  Professor Leo De Moura (AWS), Professor Kevin Buzzard (Imperial)
  The Strachey Lectures in Computer Science

Monday 9 June 2025

• 10:00 - Erlangen AI Hub: Mathematical Foundations of Intelligence Conference
  Please contact erlangenhub@cs.ox.ac.uk with any queries.
  TBA

Tuesday 21 October 2025

• 15:00 - Title TBC
  Status: This talk is in preparation - details may change
  Professor Rafail Ostrovsky (UCLA)
  The Strachey Lectures in Computer Science