Dutch Formal Methods Day



Tuesday, 16 April, 2024


The Dutch Formal Methods Day is a new gathering of researchers, students and practitioners sharing a common interest in formal methods, in the broadest sense of the word. There will be numerous talks, giving an overview formal methods in the Netherlands. Upon registering, you will have the opportunity to offer a talk.

Coffee and lunch breaks provide ample opportunity for networking with your colleagues and meeting new people. Experts and newcomers to the field are equally welcome.

All the talks will be given in English.


Participation is free of charge, but registration is required using this link: https://forms.office.com/e/AWY4QzQW3W

There is a soft registration deadline of Monday April 1st, 2024.


You will find a preliminary schedule on this website: https://conf.researchr.org/home/dfdm-2024

Details will be added as speakers become known.


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


  • Johan Commelin
  • Paige Randall North
  • Wouter Swierstra