3. juni - 28. sept. 2021 MSc Defences See the list of the MSc defences at DIKU. The list will continuously be updated.
15. sept. 2021, kl. 11.15-12.00 COPLAS: Annenkov, Extracting functional programs from Coq, in Coq On 15 September, Danil Annenkov, Aarhus University, will give a COPLAS talk about code extraction.
