Past workshops, conferences, seminars, and other events.
Mathematics Higher Education with an AI Learning Platform
Time: 1 July 2026, 13:15–14:15
Location: Online via Zoom
Past Events
Representations, Invariants, and Machine Learning in Knot Theory
Time: 09. June 2026
Location: University of Potsdam, Instiute for Mathematics
ai4math Workshop 2026
Time: 28–29 July 2026
Location: Hasso-Plattner-Institute, Campus Griebnitzsee, Potsdam (exact venue TBA)
Formalising Mathematics: Differential Geometry and Number Theory in the Lean Proof Assistant
Time: 17 December 2025, 14:00–16:00
Location: Campus Golm, Building 9, Room 2.22 and via Zoom