Forthcoming

$Carlos Caleiro$

23/11/2026, Monday, 17:30–18:00
Abreu Faro Amphitheatre, Interdisciplinary Complex, Lisbon, Portugal Instituto Superior Técnico

Carlos Caleiro, Instituto Superior Técnico
Formalization in Lean

$André Guerra$

23/11/2026, Monday, 18:00–18:45
Abreu Faro Amphitheatre, Interdisciplinary Complex, Lisbon, Portugal Instituto Superior Técnico

André Guerra, Cambridge University

Recent Planned

Home

Mathematics for Artificial Intelligence is a series of seminars and lectures aimed primarily at mathematicians willing to contribute to mathematical challenges in the area of Artificial Intelligence.