Venue: University of Groningen

The Dutch Formal Methods Day 2027 will take place at the University of Groningen; further details will follow.

Location