20 May - 24 May 2024 Networking week: Proof logging and certifying algorithms During the week May 20-24 we will host a networking week dedicated to proof logging and certifying algorithms for combinatorial solving and optimization.
21 May 2024, 12:15-13:00 DIKU Bits: A visual tour of shape analysis Join us when Morten Akhøj Pedersen from the P1AI section will give a DIKU Bits lecture.