Program - Dutch Formal Methods Day 2024

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

Tue 16 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	09:30 - 10:00	RegistrationDutch Formal Methods Day 2024 at Boothzaal

10:00 - 11:00	VerCors: Inclusive Software VerificationDutch Formal Methods Day 2024 at Boothzaal

10:00 60m Keynote		VerCors: Inclusive Software Verification Dutch Formal Methods Day 2024 Marieke Huisman University of Twente

	11:00 - 11:30	BreakDutch Formal Methods Day 2024 at Boothzaal

11:30 - 12:45	TalksDutch Formal Methods Day 2024 at Boothzaal

11:30 25m Talk		Fibred Categories in Lean 4 Dutch Formal Methods Day 2024 Sina Hazratpour Johns Hopkins University
11:55 25m Talk		Guided Equality Saturation Dutch Formal Methods Day 2024 Andrés Goens University of Amsterdam
12:20 25m Talk		Undefined Behavior: The Good, The Bad, and The Ugly Dutch Formal Methods Day 2024 Robbert Krebbers Radboud University Nijmegen

	12:45 - 13:45	LunchDutch Formal Methods Day 2024 at Boothzaal

13:45 - 14:35	TalksDutch Formal Methods Day 2024 at Boothzaal

13:45 25m Talk		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 25m Talk		Small Test Suites for Active Automata Learning Dutch Formal Methods Day 2024 Loes Kruger

	14:35 - 15:00	BreakDutch Formal Methods Day 2024 at Boothzaal

15:00 - 15:50	TalksDutch Formal Methods Day 2024 at Boothzaal

15:00 25m Talk		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 25m Talk		Explainability in systems: from AI to FM and back Dutch Formal Methods Day 2024 Georgiana Caltais University of Twente

	15:50 - 16:15	BreakDutch Formal Methods Day 2024 at Boothzaal

16:15 - 17:15	Why formalise mathematics?Dutch Formal Methods Day 2024 at Boothzaal

16:15 60m Keynote		Why formalise mathematics? Dutch Formal Methods Day 2024 Kevin Buzzard Imperial College London

Dutch Formal Methods Day 2024 Program

Tue 16 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Dutch Formal Methods Day 2024 Program

Switch Program View

Program Display Configuration

Tue 16 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

Tue 16 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change