Past workshops, conferences, seminars, and other events.
Representations, Invariants, and Machine Learning in Knot Theory
Time: 09. June 2026
Location: University of Potsdam, Instiute for Mathematics
Past Events
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