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.
19 Mar. 2025, 15:30-16:30 MIAO/BARC talk by Antonina Kolokolova Wednesday, March 19, 2025, Antonina Kolokolova, Associate Professor at the Memorial University of Newfoundland, Canada, will give a talk on "Learning from Proofs".
