Joost-Pieter Katoen new member at Nordrhein-Westfälische Akademie der Wissenschaften und der KünsteSee awk-nrw website for more (in German)Read more
Georgiana Caltais' paper acceptedsee for more info on The 16th International Symposium on Theoretical Aspects of Software Engineering: https://www.cs.ubbcluj.ro/tase2022/index.htmRead more
Joost-Pieter Katoen new member at Nordrhein-Westfälische Akademie der Wissenschaften und der Künste
Georgiana Caltais' paper accepted
2nd place at VerifyThis competition
Science Café - 14 april 2022, 20:00 - 22:00: 'Algoritmen'
AAAI distinguished paper award won by Marielle Stoelinga for groundbreaking results on provably correct control algorithms
Remco Abraham wins the ENIAC Thesis Award 2020– 2021!
New FMT member: Georgiana Caltais
The FMT team had three papers accepted at ETAPS 2022, taking place in Munich on 1 – 7 April 2022
Moritz Hahn will supervise a joint PhD project with Audi AG Ingolstadt
We welcome Philip Tasche
NWO Take-off Fase 1 grant for Marielle Stoelinga
Petra van den Bos started as assistant professor