Talks
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

This list contains talks from the following series:
Ideas Into Action: 10 years of ground-breaking research
Machine Learning Lunches
Oxford Mindfulness Centre Seminar Series