Friday 31 March 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
