Search
Up
News and events
News
Events
Group colloquium
EEMCS Faculty
Formal Methods and Tools
FMT group
News
Marielle Stoelinga in Atlas (NPO2) 24 March 2021
See News
Marielle Stoelinga in Atlas (NPO2) 24 March 2021
in ~18:20
Previous article
Next article
Thursday 25 March 2021
Atlas gemist? Start met kijken op NPO Start
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
