Dutch Formal Methods Day 2027DFMD 2027

The Dutch Formal Methods Day 2027 (DFMD’27) is the 4th edition of a full-day event dedicated to formal methods in the Netherlands. It 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. Experts and newcomers to the field are equally welcome.

There will be numerous talks, giving a broad overview formal methods in the Netherlands. All the talks will be given in English.

Further details will be announced in the future.

Registration

TBA

Contributing talks

TBA

Venue

DFMD’27 will take place at the University of Groningen; further details will follow.