28 Feb. - 12 May 2022 MSc Defences Spring 2022 See the list of the MSc defences at DIKU this spring. The list will continuously be updated.
25 Apr. 2022, 15:30-16:30 COPLAS Talk: Liam O'Connor, Quickstrom: Property-based Acceptance Testing with LTL Specifications On 25 April, COPLAS will host a talk by Liam O'Connor of Edinburgh University titled 'Quickstrom: Property-based Acceptance Testing with LTL Specifications'.