Program - Dutch Formal Methods Day 2025

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 26 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	09:30 - 10:00	Welcome/RegistrationDutch Formal Methods Day 2025

10:00 - 11:00	KeynoteDutch Formal Methods Day 2025 at L1.02

10:00 60m Keynote		Compiler Correctness – A look at different approaches Dutch Formal Methods Day 2025 Gabriele Keller Utrecht University

	11:00 - 11:30	BreakDutch Formal Methods Day 2025

11:30 - 12:45	TalksDutch Formal Methods Day 2025 at L1.02

11:30 25m Talk		Supervisor Synthesis: Turning Automata into Control Software Dutch Formal Methods Day 2025 Wan Fokkink Vrije Universiteit Amsterdam
11:55 25m Talk		Formalizing Cyclic Tableaux for PDL in Lean Dutch Formal Methods Day 2025 Malvin Gattinger ILLC, University of Amsterdam, Haitian Wang University of Amsterdam Link to publication File Attached
12:20 25m Talk		Attack tree metrics are operad algebras Dutch Formal Methods Day 2025 Milan Lopuhaä-Zwakenberg University of Twente

	12:45 - 13:45	LunchDutch Formal Methods Day 2025

13:45 - 14:35	TalksDutch Formal Methods Day 2025 at L1.02

13:45 25m Talk		Separation Logic is incomplete Dutch Formal Methods Day 2025 Hans-Dieter Hiep NLnet Foundation File Attached
14:10 25m Talk		On Applied Logic, Controlled Natural Language and Large Language Models Dutch Formal Methods Day 2025 Joost J. Joosten University of Barcelona

	14:35 - 15:00	BreakDutch Formal Methods Day 2025

15:00 - 15:50	TalksDutch Formal Methods Day 2025 at L1.02

15:00 25m Talk		About Waitfree Linearization of an Arbitrary Data Object Dutch Formal Methods Day 2025 Wim Hesselink University of Groningen
15:25 25m Talk		Proof theory meets decision procedures: a case study in intuitionistic K Dutch Formal Methods Day 2025 Marianna Girlando University of Amsterdam

	15:50 - 16:15	BreakDutch Formal Methods Day 2025

16:15 - 17:15	KeynoteDutch Formal Methods Day 2025 at L1.02

16:15 60m Keynote		Formal Methods for Mathematics Dutch Formal Methods Day 2025 Marijn Heule Carnegie Mellon University

Dutch Formal Methods Day 2025 Program

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

Tracks

Dutch Formal Methods Day 2025 Program

Switch Program View

Program Display Configuration

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

Get Calendar (iCal)

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