Dutch Formal Methods Day 2024 (series) /
Dutch Formal Methods Day 2024 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 16 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 16 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:30 - 10:00 | |||
10:00 - 11:00 | |||
10:00 60mKeynote | VerCors: Inclusive Software Verification Dutch Formal Methods Day 2024 Marieke Huisman University of Twente | ||
11:00 - 11:30 | |||
11:30 - 12:45 | |||
11:30 25mTalk | Fibred Categories in Lean 4 Dutch Formal Methods Day 2024 Sina Hazratpour Johns Hopkins University | ||
11:55 25mTalk | Guided Equality Saturation Dutch Formal Methods Day 2024 Andrés Goens University of Amsterdam | ||
12:20 25mTalk | Undefined Behavior: The Good, The Bad, and The Ugly Dutch Formal Methods Day 2024 Robbert Krebbers Radboud University Nijmegen | ||
12:45 - 13:45 | |||
13:45 - 14:35 | |||
13:45 25mTalk | Hitching a Ride to a Lasso: Massively Parallel On-The-Fly LTL Model Checking Dutch Formal Methods Day 2024 Anton Wijs Eindhoven University of Technology | ||
14:10 25mTalk | Small Test Suites for Active Automata Learning Dutch Formal Methods Day 2024 | ||
14:35 - 15:00 | |||
15:00 - 15:50 | |||
15:00 25mTalk | A Logical Basis for the Verification of Message-Passing Programs Dutch Formal Methods Day 2024 Jorge A. Pérez University of Groningen Pre-print | ||
15:25 25mTalk | Explainability in systems: from AI to FM and back Dutch Formal Methods Day 2024 Georgiana Caltais University of Twente | ||
15:50 - 16:15 | |||
16:15 - 17:15 | |||
16:15 60mKeynote | Why formalise mathematics? Dutch Formal Methods Day 2024 Kevin Buzzard Imperial College London | ||