Friday 25 April 2025
At the ICT.OPEN conference, on 16 April, Marieke Huisman gave a keynote presentation, which was well-received: 'The future of software verification'. See Marieke Huisman | ICT Open
More recent news
Thu 8 Jan 202620-23 January: CYCLIC Winter School, hosted at the UT
Thu 18 Dec 2025Lola Solovyeva: “AI doesn’t run on magic. It runs on electricity.”
Tue 9 Dec 2025Papers of the Month: December 2025
Thu 4 Dec 2025Florian Bonensteffen will defend his thesis on Friday 5 December
Thu 4 Dec 2025Faizan Ahmed wins the Educational Cake Inter-Actief
