Seminar

• November 11, 2024 Simon Daniel (TU Darmstadt): Library-Based Choreographies in Lean
• November 18, 2024 Nina Berger (TU Darmstadt): TBA
• November 25, 2024 Cancelled
• December 2, 2024 Giorgia Sampo (SDU): TBA
• December 9, 2024 Sandra Greiner (SDU): TBA
• December 16, 2024 TBA