15. marts 2022, kl. 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…