3 June - 28 Sept. 2021 MSc Defences See the list of the MSc defences at DIKU. The list will continuously be updated.
20 Aug. 2021, 11:05-12:00 COPLAS talk: Proof-directed program transformation: A functional account of efficient regular expression matching On 20 August, Andrzej Filinski, associate professor at DIKU, will give a COPLAS talk.
20 Aug. 2021, 13:00-14:00 Data Management Systems Seminar: FoundationDB at Snowflake: Architecture and Internals On 20 August Markus Pilman, software engineer from Snowflake, holds a seminar at the Department of Computer Science titled 'FoundationDB at Snowflake: Architecture and Internals'.