Book published: Concise Guide to Software Verification - From Model Checking to Annotation CheckingSee https://link.springer.com/book/10.1007/978-3-031-30167-4Read more- 17 October 2023, 14:45: Thesis defense Sophie LathouwersOn Tuesday 17 October next, Sophie Lathouwers will defend her thesis Exploring Annotations for Deductive Verification. Her supervisor is Prof. Dr. Marieke Huisman.Read more
Book published: Concise Guide to Software Verification - From Model Checking to Annotation Checking- 17 October 2023, 14:45: Thesis defense Sophie Lathouwers
- Papers of the month:
- New project 'Open Competitie ENW M22-3'
- Two new FMT members: Fernando Castor and Edoardo Putti
- FORTE 2023 Best artefact for Petra van den Bos and Marielle Stoelinga
- New FMT member: Ramish Bhutto
- Papers of the month:
- VIDI Grant for Arnd Hartmanns!
- Papers of the month:
NIAS-Lorentz Theme Group 2025- ZORRO project Kick-off meeting 25 May 2023
