20. maj - 24. maj 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…
21. maj 2024, kl. 12.15-13.00 DIKU Bits: A visual tour of shape analysis Join us when Morten Akhøj Pedersen from the P1AI section will give a DIKU Bits lecture.
24. sept. 2025, kl. 13.00 PhD defence - Harshkumar Dilipbhai Patel Quantification of Anisotropy in Mozzarella Cheese
26. sept. 2025, kl. 9.00-12.00 PhD defence - Jonas Færch Lotz Overcoming Vocabulary Constraints with Pixel-based Representations of Text
26. sept. 2025, kl. 10.15 Ph.D. Defense Oscar Bendix Harr Thesis title: Sheaves and moduli spaces of manifolds
