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
Wed 21 May 2025Marieke Huisman ended her term as SC chair of the ETAPS conferences
Wed 21 May 2025Presentation on LLL at UCPH by Marielle Stoelinga
Mon 19 May 2025Tubantia interview Marielle Stoelinga (in Dutch)
Thu 15 May 2025SPIN 2025 Best Paper Award
Fri 2 May 2025Papers of the Month: May 2025
