Events

Upcoming events:

• Summer course on Lean programming (28. September — 2. October 2026)

Past events:

• How Machines Explore, Conjecture, and Discover Mathematics a talk by Sebastian Pokutta (VP of Zuse Institute Berlin).

• Workshop Facets of Probability Speakers in the workshop approach probability from different perspectives: frequentist, subjective, computational, and physical