2026, March 16-20: Tsinghua University, Beijing, Workshop on Group Theory and Formalisation in Lean

2023, May 2-3: Università Roma Tre, Atelier Lean, during the 7th symposium of the Roman Number Theory Association, with Riccardo Brasca and Filippo Nuccio

2021, August 16-20, AGRA IV (Análisis, Grupos y Aritmética): Superficies Racionales sobre un Cuerpo

2019, July 22-26, Düsseldorf: Arithmetic properties of del Pezzo surfaces

2014, February 14-21, LEGAL, Teresópolis: Rational points on surfaces

2014, January-February, Concepción and IMPA: Cox Rings of Rational surfaces

2013, January 5-15, Concepción: Rational points on surfaces

2008, April 14-18, Warwick: with Martin Bright and Ronald van Luijk we ran an Instructional workshop on Surfaces: Geometry and Arithmetic