Introduction to Lean 4 Seminar (University of Potsdam)
Time: Summer Semester 2026, Tuesday, 14:15–15:45
Location: Uni Potsdam, Campus Golm, House 9, Room 1.22
Time: Summer Semester 2026, Tuesday, 14:15–15:45
Location: Uni Potsdam, Campus Golm, House 9, Room 1.22
Time: Monday, 16:00–17:30
Location: Uni Potsdam, Campus Golm, House 9, Room 0.17
Time: 8.-12. March 2027
Location: Berlin-Brandenburg (tba)
Time: 28–29 July 2026
Location: Campus Griebnitzsee, Potsdam (exact venue TBA)