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.
22 May 2024, 15:00-16:00 COPLAS talk: Julia Lawall: Towards Verification of Linux Kernel Code On 22 May, COPLAS will host a talk by Julia Lawall of Inria Paris titled 'Towards Verification of Linux Kernel Code'.
