Search
Up
News and events
News
Events
Group colloquium
EEMCS Faculty
Formal Methods and Tools
FMT group
News
Professor Marielle Stoelinga in AG Connect
See News
Professor Marielle Stoelinga in AG Connect
Previous article
Next article
Thursday 4 March 2021
See for the article (in Dutch):
Moeten GGD's HPZone wel vervangen en hoe dan? - AG Connect
More recent news
Wed 14 Jul 2021
Formally Verified SAT-Solver IsaSAT wins EDA Challenge
Fri 4 Jun 2021
New FMT member!
Wed 2 Jun 2021
Marieke Huisman in U-Today: women in science
Tue 1 Jun 2021
Marieke Huisman features in AG Connect podcast - see link below
Wed 19 May 2021
New FMT staff member!
News summary
Close
Suggestions
