Dutch Formal Methods Day

18-Jan-2024

CALL FOR PARTICIPATION

Tuesday, 16 April, 2024

https://conf.researchr.org/home/dfdm-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.

Registration

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.

Schedule

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

Details will be added as speakers become known.

Location

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

Organisers

  • Johan Commelin
  • Paige Randall North
  • Wouter Swierstra