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.
29. jan. 2026, kl. 14.00 PhD defence - Fabiola Campestre Dynamic modulation of ciliary protein transport and homeostasis by kinesin motors
29. jan. 2026, kl. 15.00 PhD defence - Peyman Malek Zadeh Development of optomechanical systems based on ultra-coherent membranes for hybrid quantum…
30. jan. 2026, kl. 10.15 PhD defence - Lars Nørtoft Reiter Statistical Ecology: An Ecological Archive in Narwhal Tusks