(New) 4 June 2026, Dutch Formal Methods Day 2026
Date: Thursday 4 June 2026
Time: 09:30-17:00
Location: Eindhoven [NL]
Costs: None
The Dutch Formal Methods Day is a full-day event dedicated to formal methods in the Netherlands. This event is an opportunity for people in academia, industry and education who are interested in formal methods, in the broadest sense, to come together, learn, and network. There will be numerous talks, giving a broad overview formal methods in the Netherlands. Upon registering, you will have the opportunity to offer a talk.
For more information, see
https://conf.researchr.org/home/dfdm-2026
or contact Jore Booy at j.j.booy at tue.nl.