15 Mar. 2022, 12:15-13:00 DIKU Bits: The halting problem: when self-driving cars halt in traffic. On 15 March the Human-Centred Computing (HCC) Section at Department of Computer Science, University…
26 Aug. 2025, 14:30 PhD defence - Diego Andrés Farías Hinojosa Characterizing the diversity of Supernovae Ibn
28 Aug. 2025, 13:00-16:00 PhD defence - Li Quan Quality Bounds and Efficient Samplers for Data Availability Sampling