Maintaining a Large Formalisation Project, workshop on formalisation and group theory, Tsinghua University, Beijing, March 16-20, 2026. (part 2)

Machine Verified Reasoning, Predictive Modelling Discussion Group, Warwick Engineering, February 12th, 2026.

An introduction to linters, Lean Together 2025, online workshop, video, January 14th, 2025.

Mathematics, automation, theorem proving, Colloquium, Pisa, Italy, December 13th, 2023.

Mathematics, automation, theorem proving, Warwick Maths Society, November 14th, 2023.

Algebraic Geometry in Lean, Lean for the Curious Mathematician 2023, Düsseldorf, September 7th, 2023.

Lines of polynomials with Galois group \(\mathfrak{A}_{2n}\), Greek Algebra & Number Theory seminar, online, November 29th, 2021.

[\(\overline{M}{0,134}\) is not a Mori Dream Space](https://adomani.github.io/slides/2021_11_22_nMDS.pdf), Warwick \(\overline{M}{0,n}\) seminar, online, November 22nd, 2021. An expository talk on a result of Castravet-Tevelev.

Mathematical insights from using Lean, Lean Together 2021, online, video, January 7th, 2021.

Computers and Mathematics, Warwick Maths Society, online, December 8th, 2020.

Using computers to do maths for us!, Tour of Mathematics 2020-21, Warwick.

Contact in algebraic and tropical geometry, dematerialized session of “Algèbre et Géométrie”, Versailles, France, March 31st, 2020.

Conics on the Fermat quintic threefold, given at IMPA, Rio de Janeiro, Brasil (October 2011); Irish Algebraic Geometry Seminar, University College Cork, Cork, Ireland (March 11th, 2011); Mathematics Colloquium, Rice University, USA (September 2010). (families of conics in the Dwork pencil)