5 Mar. 2024, 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.