12 June - 6 Oct. 2023 MSc Defences Summer 2023 See the list of MSc defences at DIKU this summer. The list will be continuously updated.
23 Aug. 2023, 14:01-15:00 BARC Talk by Noga Ron-Zewi: Highly-efficient local proofs Join us Noga Ron-Zewi's talk on Highly-efficient local proofs