This Registration is for:

• Date and time: 12.03.2025 and 13.03.2025, both 10:00 + 14:00 (German time)
• Room: A3 01 (Sophus-Lie room)
• Seminar: Mini-course of the Mathematics Lab
• Speaker: Florent Schaffhauser
• Title: Interactive Theorem Proving in Lean, part I - IV

Information on data transmission
The submitted data will be used to process your registration. We will save your data in electronic form for two months. We will not use the data for other purposes or hand it out to third parties.