8 Nov. - 9 Nov. 2023
Previous Events
10 Oct. 2023,
12:15-13:00
DIKU Bits: Randomly finding bugs
17 May 2023,
13:00-17:00
PhD defence by Philip Munksgaard
1 July 2022,
14:00-15:00
DIKU Talk: Self-Adjusting Data Structures by Robert Tarjan
10 June - 1 July 2022
MSc Defences Summer 2022
23 May 2022,
15:30-16:30
COPLAS Talk: Liam O'Connor, Quickstrom: Property-based Acceptance Testing with LTL Specifications
12 May 2022,
13:00-16:00
Inaugural Lectures: Glynn Winskel & Thomas Jensen
25 Apr. 2022,
15:30-16:30
COPLAS Talk: Liam O'Connor, Quickstrom: Property-based Acceptance Testing with LTL Specifications
22 Apr. 2022,
14:00-16:00
PhD defence by Lys Sanz Moreta
22 Apr. 2022,
14:00-16:00