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…
23 Sept. 2025, 13:00-16:00 PhD defence - Ulrik Friis-Jensen A Case of Identity: Machine Learning Aided Structural Characterization of Nanomaterials
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