The FMT group welcomes three researchers visiting us from Argentina as part of the MISSION project in spring and summer 2023: Laura Brandán Briones from Universidad Nacional de Córdoba as well as Pablo Ponzio and Mariano Politano from Universidad Nacional de Rio Cuarto, pictured here with MISSION coordinator Arnd Hartmanns at the University of Twente.
Friday 21 April 2023
More recent news
- Thu 21 Sep 2023Book published: Concise Guide to Software Verification - From Model Checking to Annotation Checking
- Thu 21 Sep 202317 October 2023, 14:45: Thesis defense Sophie Lathouwers
- Thu 21 Sep 2023Papers of the month:
- Thu 21 Sep 2023New project 'Open Competitie ENW M22-3'
- Fri 1 Sep 2023Two new FMT members: Fernando Castor and Edoardo Putti