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
24 June - 28 June 2024
Programming Language Design and Implementation 2024
19 Aug. - 22 Aug. 2024
IEEE Blockchain 2024 conference
25 Aug. 2024,
10:00-16:00
Workshop on AI in microscopy
Calendar Archive
See previous events