Selected seminars and workshops
-
Formalisation of mathematics with interactive theorem provers, Cambridge, 04/2023
-
Non-archimedean geometry and Eigenvarieties, spring school, Heidelberg, 03/2023
-
Greek Algebra and Number Theory Seminar (GANT), 02/2023
-
Cambridge Number Theory seminar, 11/2022
-
Seminario Latinoamericano de Teoría de Números, 04/2022
-
Warwick Number Theory Seminar, 02/2022
-
London Learning Lean seminar, 01/2022
-
Seminario Latinoamericano de Teoría de Números, 09/2020
-
Sheffield Number Theory Seminar, Apr 2019
-
London Number Theory seminar, Jun 2018
-
Bristol Linfoot seminar, Oct 2017
-
UCONN Algebra seminar, Sep 2017
-
AMS sectional meeting, Buffalo, Sep 2017
-
Summer school on modular forms, Padova, Sep 2017
-
Warwick Number Theory seminar, Jan 2017
-
Seminaire d'arithmetique, ENS de Lyon, May 2016