12. juni - 6. okt. 2023 MSc Defences Summer 2023 See the list of MSc defences at DIKU this summer. The list will be continuously updated.
23. aug. 2023, kl. 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
