5. marts 2024, kl. 12.15-13.00 DIKU Bits: Your Code Works — But Can You Prove It Beyond Doubt? Join us when Ken Friis Larsen from the PLTC section will give a DIKU Bits lecture.
26. aug. 2025, kl. 14.30 PhD defence - Diego Andrés Farías Hinojosa Characterizing the diversity of Supernovae Ibn
28. aug. 2025, kl. 13.00-16.00 PhD defence - Li Quan Quality Bounds and Efficient Samplers for Data Availability Sampling
