7 May 2024,
12:15-13:00
Event Calendar 2024
8 May 2024,
9:30-17:00
BARC Celebration
20 May - 24 May 2024
Networking week: Proof logging and certifying algorithms
21 May 2024,
12:15-13:00
DIKU Bits: A visual tour of shape analysis
22 May 2024,
15:00-16:00
COPLAS talk: Julia Lawall: Towards Verification of Linux Kernel Code
4 June 2024,
10:30-13:30
PhD defence by Anna Katrine van Zee
4 June 2024,
12:20-13:00
DIKU Bits: Compact Computing - Data Management Strategies for Space Efficiency
5 June - 10 Oct. 2024
MSc Defences Summer 2024
10 June 2024,
14:00-15:00
P1 Guest Talk: Interactions in real and virtual worlds
10 June 2024,
15:00-16:00
DeLTA seminar by Julian Zimmert: PRODuctive bandits: Importance Weighting No More
Calendar Archive
See previous events