20 May - 24 May 2024 Networking week: Proof logging and certifying algorithms During the week May 20-24 we will host a networking week dedicated to proof logging and certifying…
24 Sept. 2025, 13:00 PhD defence - Harshkumar Dilipbhai Patel Quantification of Anisotropy in Mozzarella Cheese
26 Sept. 2025, 9:00-12:00 PhD defence - Jonas Færch Lotz Overcoming Vocabulary Constraints with Pixel-based Representations of Text
26 Sept. 2025, 10:15 Ph.D. Defense Oscar Bendix Harr Thesis title: Sheaves and moduli spaces of manifolds