Department: Department of Computer Science
Talks:

Tuesday 6 May 2025

The Lean Theorem Prover/Will computers prove theorems?
Date: 6 May 2025, 14:30 - 16:30
Speaker s: Professor Leo De Moura (AWS), Professor Kevin Buzzard (Imperial)
Venue: Mathematical Institute, Woodstock Road OX2 6GG
Venue Details: Lecture Theatre 1
Organisers: TBA
Hosts: TBA

Monday 9 June 2025

Erlangen AI Hub: Mathematical Foundations of Intelligence Conference
Date: 9 June 2025, 10:00 - 17:00
Speaker
Venue Details: Maths Building, QMUL London
Organiser: Erlangen AI Hub
Hosts: TBA