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.