Dutch Formal Methods Day 2026DFMD 2026
The Dutch Formal Methods Day is a full-day event dedicated to formal methods in the Netherlands. This event 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. There will be numerous talks, giving a broad overview formal methods in the Netherlands. Upon registering, you will have the opportunity to offer a talk.
The event will take place on Thursday June 4th in Eindhoven, in Auditorium room 5 (see below). The program is tentatively scheduled from 09:30 to 17:00.
Coffee and lunch will be provided; there will be 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 the link below:
https://forms.cloud.microsoft/e/6whdCQREYa
There is a soft registration deadline of Thursday May 26th.
Contributing talks
We are collecting talks. If you would like to offer a talk, register before Monday April 20th. As part of the registration process, you can indicate that you would like to give a talk. The organizers will be in touch and put together a program.
Venue
The Dutch Formal Methods Day will take place on Thursday June 4th at Eindhoven University of Technology. It is in walking distance from Eindhoven Central Station.
Parking is available on campus with a capped daily rate of €10. More information on parking can be found here: https://www.tue.nl/en/our-university/tue-campus/accessibility
Keynotes
Thu 4 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:30 - 10:00 | |||
10:00 - 11:05 | |||
10:00 5mDay opening | Opening DFMD | ||
10:05 60mTalk | Automated Verification with Certificates DFMD Emily Yu Leiden University | ||
11:05 - 11:30 | |||
11:30 - 12:20 | |||
11:30 25mTalk | Correctness Certificates for Horn Solving DFMD Rodrigo Otoni University of Groningen | ||
11:55 25mTalk | Proving Circuit Functional Equivalence in Zero Knowledge DFMD | ||
12:20 - 13:20 | |||
13:20 - 14:35 | TalksDFMD at Auditorium 5 Chair(s): Marcello Seri Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen | ||
13:20 25mTalk | Model based testing of the Bilihome medical device, an experience report DFMD Machiel van der Bijl Axini | ||
13:45 25mTalk | Parametrised complexity in discrete probabilistic programming and beyond DFMD | ||
14:10 25mTalk | The JustAct framework (for open normative systems) and its definition in Rocq DFMD Christopher Esterhuyse University of Amsterdam Pre-print | ||
14:35 - 15:00 | |||
15:00 - 15:50 | |||
15:00 25mTalk | Scalable Verified Compilers with Declarative Rewrites DFMD Alex Keizer University of Cambridge | ||
15:25 25mTalk | Regular Transducers for Quantum Circuit Families DFMD Jingyi Mei Leiden University | ||
15:50 - 16:15 | |||
16:15 - 17:15 | |||
16:15 60mTalk | Theorem Proving in Industry DFMD Sebastian Ullrich Lean FRO | ||