Dutch Formal Methods Day 2024 (series) /
Venue: University Library Utrecht Science Park
The Dutch Formal Methods Day will take place in the Boothzaal in the University Library on the Utrecht Science Park. The Science Park is a short tram ride from the Utrecht Central station, with excellent train connections to many other Dutch cities. More details on how to reach the library can be found here:
https://www.uu.nl/en/university-library-utrecht-science-park