Dutch Formal Methods Day 2025
Thu 26 Jun 2025
Amsterdam, Netherlands
Toggle navigation
Attending
Venue: Lab42 - University of Amsterdam
Program
Dutch Formal Methods Day Program
Your Program
Thu 26 Jun
Track/Call
Organization
Dutch Formal Methods Day 2025 Committees
Track Committees
Organizing Committee
Contributors
People Index
Search
Series
Series
Dutch Formal Methods Day 2025
Dutch Formal Methods Day 2024
Sign in
Sign up
Dutch Formal Methods Day 2025 (
series
) /
Lab42 - University of Amsterdam
/
Room information: L1.02
Venue
Lab42 - University of Amsterdam
Room name
L1.02
Floor
1
Room number
L1.02
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
Program Display Configuration
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, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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
10:00 - 11:00
Keynote
Dutch 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:30 - 12:45
Talks
Dutch 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
12:20
25m
Talk
Attack tree metrics are operad algebras
Dutch Formal Methods Day 2025
Milan Lopuhaä-Zwakenberg
University of Twente
13:45 - 14:35
Talks
Dutch 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
14:10
25m
Talk
TBA
Dutch Formal Methods Day 2025
Joost J. Joosten
University of Barcelona
15:00 - 15:50
Talks
Dutch 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
16:15 - 17:15
Keynote
Dutch 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
Thu 26 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
L1.02
Dutch Formal Methods Day 2025
Keynote
Dutch Formal Methods Day 2025
Talks
Dutch Formal Methods Day 2025
Talks
Dutch Formal Methods Day 2025
Talks
Dutch Formal Methods Day 2025
Keynote
Thu 26 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
L1.02
Dutch Formal Methods Day
Compiler Correctness – A look at different approaches
10:00 - 11:00
Dutch Formal Methods Day
Supervisor Synthesis: Turning Automata into Control Software
11:30 - 11:55
Dutch Formal Methods Day
Formalizing Cyclic Tableaux for PDL in Lean
11:55 - 12:20
Dutch Formal Methods Day
Attack tree metrics are operad algebras
12:20 - 12:45
Dutch Formal Methods Day
Separation Logic is incomplete
13:45 - 14:10
Dutch Formal Methods Day
TBA
14:10 - 14:35
Dutch Formal Methods Day
About Waitfree Linearization of an Arbitrary Data Object
15:00 - 15:25
Dutch Formal Methods Day
Proof theory meets decision procedures: a case study in intuitionistic K
15:25 - 15:50
Dutch Formal Methods Day
Formal Methods for Mathematics
16:15 - 17:15
x
Sun 22 Jun 01:07
:
: