Conferences

(Upcoming) AI for Mathematics and Theoretical Computer Science
Simons Institute for the Theory of Computing and SLMath, Berkeley, California, USA, 7 – 11 April, 2025.
Co-organized with Jeremy Avigad, Floris van Doorn, Marijn Heule, and Adam Wagner.

Lean for the Curious Mathematician 2024
Centre international de rencontres mathématiques (CIRM), Luminy, France, 25 – 29 March, 2024.
Co-organized with Riccardo Brasca, Antoine Chambert-Loir, and Filippo A. E. Nuccio Mortarino Majno di Capriglio.

Formalisation of Mathematics: Workshop for Women and Mathematicians of Minority Gender
International Centre for Mathematical Sciences (ICMS), Edinburgh, United Kingdom, 27 – 31 May, 2024.
Co-organized with Heather Macbeth.

Décimas Jornadas de Teoría de Números
La Corrala, Universidad Autónoma de Madrid (UAM), Madrid, España, 8 – 12 July, 2024.
Co-organized with Fernando Chamizo, Enrique González Jiménez, and Daniel Macías Castillo.