3 June - 28 Sept. 2021 MSc Defences See the list of the MSc defences at DIKU. The list will continuously be updated.
15 Sept. 2021, 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.
