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