13 Mar. - 30 Apr. 2025 MSc Defences Spring 2025 See the list of MSc defences at DIKU this spring. The list will be updated continuously.
24 Mar. - 28 Mar. 2025 Conference: AI4Quantum - Accelerating Quantum Computing with AI Join the AI4Quantum conference by Novo Nordisk Foundation Science Cluster, with the goal of solving significant problems in life science with a fault-tolerant quantum computer.
28 Mar. 2025, 14:15-15:15 COPLAS talk: Dmitriy Traytel: Binding-aware datatypes and inductive predicates in Isabelle/HOL On 28 March, COPLAS will host a talk by Dmitriy Traytel titled 'Binding-aware datatypes and inductive predicates in Isabelle/HOL'.
