Conferences

List of formalization and number theory events that I've attended.

2026

  • Algorithmic Number Theory Symposium XVII, July 6 - 10, 2026, Bernoulli Institute, University of Groningen, Netherlands
  • Bridging Lean and the LMFDB (Invited Speaker), June 29 - July 3, 2026, University of East Anglia, Norwich, UK
  • Informal Formalization Seminar (Invited Speaker), June 19, 2026, VU Amsterdam, Netherlands

2025

  • COGENT Winter School (Lecturer), December 1 - 12, 2025, University of Galway, Ireland
  • DIAMANT Symposium, November 20 - 21, 2025, De Werelt, Lunteren, Netherlands
  • UvA Lean Seminar (Invited Speaker), November 2025, University of Amsterdam, Netherlands
  • VU PhD Seminar (Speaker), November 2025, VU Amsterdam, Netherlands
  • Workshop 'Mechanization and Mathematical Research', September 15 - 19, 2025, Lorentz Center, Leiden, Netherlands
  • 33rd Journées Arithmétiques (Speaker), June 30 - July 4, 2025, Esch-sur-Alzette, Luxembourg
  • Big Proof 3: Formalizing Mathematics at Scale, June 9 - 13, 2025, Isaac Newton Institute, Cambridge, UK
  • Groningen Algebra Seminar (Invited Speaker), May 13, 2025, Groningen, Netherlands
  • Nederlands Mathematisch Congres (Invited Speaker), April 22 - 23, 2025, Soesterberg, Netherlands — won the PhD Prize
  • CPP Conference (Online Speaker), January 20 - 21, 2025, Denver, USA

2024

  • VU PhD Seminar (Speaker), December 2024, VU Amsterdam, Netherlands
  • DIAMANT Symposium (Speaker), November 21 - 22, 2024, De Werelt, Lunteren, Netherlands
  • VU Research Fair (Poster), November 2024, VU Amsterdam, Netherlands
  • Algorithmic Number Theory Symposium XVI, July 15 - 19, 2024, MIT, Cambridge, MA, USA
  • Workshop 'Bridging Between Informal and Formal' (Speaker), July 8 - 12, 2024, Hausdorff Institute for Mathematics, Bonn, Germany
  • Workshop 'Formalization of Mathematics', June 17 - 21, 2024, Hausdorff Institute for Mathematics, Bonn, Germany
  • DIAMANT Symposium, April 11, 2024, Utrecht, Netherlands
  • Nederlands Mathematisch Congres, April 2 - 3, 2024, Lunteren, Netherlands
  • Informal Formalization Seminar (Invited Speaker), January 19, 2024, Utrecht, Netherlands

2023

  • DIAMANT Symposium, November 23 - 24, 2023, Eindhoven, Netherlands
  • ITP Conference, July 31 - August 4, 2023, Białystok, Poland
  • Workshop 'Machine-Checked Mathematics', July 10 - 14, 2023, Lorentz Center, Leiden, Netherlands
  • DIAMANT Symposium, April 13, 2023, Utrecht, Netherlands
  • VU PhD Seminar (Speaker), March 2023, VU Amsterdam, Netherlands

2022

  • DIAMANT Symposium, November 24 - 25, 2022, Leiden, Netherlands

Regular Seminars