Papers of the Month: June 2025EACH MONTH, THE FORMAL METHODS AND TOOLS (FMT) GROUP SELECTS PAPERS - AND PERFORMANCES IN THE MEDIA - TO HIGHLIGHT. FOR THIS MONTH, THEY'VE CHOSEN:Read more
Kick-off AMELIA projectOn 8 May, the Kick-off of the AMELIA project took place in Zwolle. From our side, Marielle Stoelinga and Hajo Molegraaf are involved. AMELIA is a learning community aiming at boosting AI in technical industries.Read more
Papers of the Month: June 2025
Kick-off AMELIA project
Marieke Huisman ended her term as SC chair of the ETAPS conferences
Presentation on LLL at UCPH by Marielle Stoelinga
Tubantia interview Marielle Stoelinga (in Dutch)
SPIN 2025 Best Paper Award
Papers of the Month: May 2025
Marieke Huisman gave keynote at ICT.OPEN
Marieke Huisman appointed as IPN chair
Papers of the Month: April 2025
Papers of the Month: March 2025
Fernando Castor featured in Studium Generale:
