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…
22. maj - 23. maj 2024 Nordic Algae Symposium The Nordic Algae Symposium is held in Copenhagen from May 22-23, 2024, and will bring together…
22. maj 2024, kl. 14.00 QDev Seminar by Colin Piquard Non-trivial Entropy of a Correlated Kondo Impurity
22. maj 2024, kl. 15.00-16.00 COPLAS talk: Julia Lawall: Towards Verification of Linux Kernel Code On 22 May, COPLAS will host a talk by Julia Lawall of Inria Paris titled 'Towards Verification of…
22. maj 2024, kl. 16.00-17.30 Coaching og Teamudvikling - Få dyb selvforståelse og forståelse for andre Nina Tange og Gitte Lindhard Wahlström afholder workshop i foredragsrækken "Coaching - forskning og…
23. sept. 2025, kl. 13.00-16.00 PhD defence - Ulrik Friis-Jensen A Case of Identity: Machine Learning Aided Structural Characterization of Nanomaterials
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