Forthcoming

$Carlos Caleiro$

23/11/2026, Monday, 17:30–18:00
Amphitheatre Va2, Civil Engineering Building, Instituto Superior Técnico Instituto Superior Técnico

Carlos Caleiro, Instituto Superior Técnico
Formalization in Lean

$André Guerra$

23/11/2026, Monday, 18:00–18:45
Amphitheatre Va2, Civil Engineering Building, Instituto Superior Técnico Instituto Superior Técnico

André Guerra, Cambridge University

$João Ribeiro$

23/11/2026, Monday, 18:45–19:30
Amphitheatre Va2, Civil Engineering Building, Instituto Superior Técnico Instituto Superior Técnico

João Ribeiro, Instituto Superior Técnico

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.