• Axiomatizing the Universal Theory of Presburger With Powers, GeSAMT – Gemeinsames Seminar Algebra und Modelltheorie, Bonn, 1. Nov 2025

Where else you might have met me #

• Trimester Program: Definability, decidability, and computability, Hausdorff Research Institute for Mathematics, Bonn, 1. Sep – 12. Dec 2025; including:
  • Introductory School “Definability, Decidability, and Computability”, 15. – 19. Sep
  • Workshop “Definability in Number Theory and Arithmetic Geometry”, 20. – 24. Oct
  • Conference “Definability and Computability”, 8. – 12. Dec
• Algebraic methods in dynamics and particle physics, Max Planck Institute for Software Systems, Saarbrücken, 15. – 17. Oct 2025