10 Oct. 2023, 12:15-13:00 DIKU Bits: Randomly finding bugs Join us when Ken Friis Larsen from the Programming Languages and Theory of Computation (PLTC)…