Program - DFMD 2026

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Thu 4 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	09:30 - 10:00	Welcome and registrationDFMD at Auditorium 5

10:00 - 11:05	KeynoteDFMD at Auditorium 5 Chair(s): Jore Booy Eindhoven University of Technology

10:00 5m Day opening		Opening DFMD
10:05 60m Talk		Automated Verification with Certificates DFMD Emily Yu Leiden University

	11:05 - 11:30	BreakDFMD at Auditorium 5

11:30 - 12:20	TalksDFMD at Auditorium 5 Chair(s): Jore Booy Eindhoven University of Technology

11:30 25m Talk		Correctness Certificates for Horn Solving DFMD Rodrigo Otoni University of Groningen
11:55 25m Talk		Proving Circuit Functional Equivalence in Zero Knowledge DFMD Sirui Shen

	12:20 - 13:20	LunchDFMD at Main floor

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 25m Talk		Model based testing of the Bilihome medical device, an experience report DFMD Machiel van der Bijl Axini
13:45 25m Talk		Parametrised complexity in discrete probabilistic programming and beyond DFMD Benedikt Peterseim
14:10 25m Talk		The JustAct framework (for open normative systems) and its definition in Rocq DFMD Christopher Esterhuyse University of Amsterdam Pre-print

	14:35 - 15:00	BreakDFMD at Auditorium 5

15:00 - 15:50	TalksDFMD at Auditorium 5 Chair(s): Jim Portegies Eindhoven University of Technology

15:00 25m Talk		Scalable Verified Compilers with Declarative Rewrites DFMD Alex Keizer University of Cambridge
15:25 25m Talk		Regular Transducers for Quantum Circuit Families DFMD Jingyi Mei Leiden University

	15:50 - 16:15	BreakDFMD at Auditorium 5

16:15 - 17:15	KeynoteDFMD at Auditorium 5 Chair(s): Jim Portegies Eindhoven University of Technology

16:15 60m Talk		Theorem Proving in Industry DFMD Sebastian Ullrich Lean FRO

DFMD 2026 Program

Thu 4 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

DFMD 2026 Program

Switch Program View

Program Display Configuration

Thu 4 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

Thu 4 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change