2F Conf Room 2 - FM 2026

VenueHitotsubashi Hall

Room name2F Conf Room 2

Floor2

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+09:00) Osaka, Sapporo, Tokyo.

Use conference time zone: (GMT+09:00) Osaka, Sapporo, TokyoSelect 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

Mon 18 May
Displayed time zone: Osaka, Sapporo, Tokyo change

14:00 - 16:05	Rodin Session 1Workshop: Rodin at 2F Conf Room 2

14:00 25m Talk		chronoEvent-B: A Rodin Plugin for Timed Constraints in Event-B Workshop: Rodin
14:25 25m Talk		Rust Toolchain for Event-B with Language Server Support Workshop: Rodin
14:50 25m Talk		A theory for defining and handling matrices in Event-B Workshop: Rodin
15:15 25m Talk		Enhancing EB4EB Framework by Introducing Lexicographic Variants Workshop: Rodin
15:40 25m Talk		Automated transformation of Event-B machines into EB4EB deep instances Workshop: Rodin

16:20 - 18:00	Rodin Session 2Workshop: Rodin at 2F Conf Room 2

16:20 25m Talk		Inductive Set Construction using instantiation and Rodin Workshop: Rodin
16:45 25m Talk		An Event-B Sequent Prover in Prolog and ProB Workshop: Rodin
17:10 25m Talk		Updates in the Rodin plug-in ecosystem Workshop: Rodin
17:35 25m Talk		Modeling and Proving the Parallel Climbers Puzzle in Event-B Workshop: Rodin

18:15 - 19:15	ABZ Gedenkschrift for Jean-Raymond AbrialABZ at 2F Conf Room 2 Chair(s): Yamine Ait Ameur IRIT/INPT-ENSEEIHT

18:15 60m Talk		Gedenkschrift for Jean-Raymond AbrialABZ ABZ

Tue 19 May
Displayed time zone: Osaka, Sapporo, Tokyo change

09:00 - 10:30	Tutorial 6: Mixed Flow-Sensitive Static Analysis: Engineering Modularity (Part 1)Tutorials at 2F Conf Room 2

09:00 90m Tutorial		Mixed Flow-Sensitive Static Analysis: Engineering Modularity Tutorials Helmut Seidl TU Munich, Vesal Vojdani University of Tartu, Julian Erhard TU Munich; LMU Munich, Michael Schwarz National University of Singapore Link to publication

11:00 - 12:30	Tutorial 6: Mixed Flow-Sensitive Static Analysis: Engineering Modularity (Part 2)Tutorials at 2F Conf Room 2

11:00 90m Tutorial		Mixed Flow-Sensitive Static Analysis: Engineering Modularity Tutorials Helmut Seidl TU Munich, Vesal Vojdani University of Tartu, Julian Erhard TU Munich; LMU Munich, Michael Schwarz National University of Singapore Link to publication

14:00 - 15:30	Tutorial 8: Digital Twins: a Briefing for Formalists (Part 1)Tutorials at 2F Conf Room 2

14:00 90m Tutorial		Digital Twins: a Briefing for Formalists Tutorials John Fitzgerald Newcastle University, Claudio Gomes Aarhus University, Denmark, Peter Gorm Larsen Aarhus University, Mikkel Schmidt Andersen Aarhus University, Santiago Gil Aarhus University, Morten Haahr Kristensen Aarhus University

16:00 - 17:30	Tutorial 8: Digital Twins: a Briefing for Formalists (Part 2)Tutorials at 2F Conf Room 2

16:00 90m Tutorial		Digital Twins: a Briefing for Formalists Tutorials John Fitzgerald Newcastle University, Claudio Gomes Aarhus University, Denmark, Peter Gorm Larsen Aarhus University, Mikkel Schmidt Andersen Aarhus University, Santiago Gil Aarhus University, Morten Haahr Kristensen Aarhus University

Hide past events

Mon 18 May
Displayed time zone: Osaka, Sapporo, Tokyo change


Room	14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30
2F Conf Room 2	Workshop: Rodin Rodin Session 1																												Workshop: Rodin Rodin Session 2																							ABZ ABZ Gedenkschrift for Jean-Raymond Abrial

Tue 19 May
Displayed time zone: Osaka, Sapporo, Tokyo change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
2F Conf Room 2	Tutorials Tutorial 6: Mixed Flow-Sensitive Static Analysis: Engineering Modularity (Part 1)																								Tutorials Tutorial 6: Mixed Flow-Sensitive Static Analysis: Engineering Modularity (Part 2)																																				Tutorials Tutorial 8: Digital Twins: a Briefing for Formalists (Part 1)																								Tutorials Tutorial 8: Digital Twins: a Briefing for Formalists (Part 2)

Hide past events

Mon 18 May
Displayed time zone: Osaka, Sapporo, Tokyo change


Room	14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45
2F Conf Room 2	FM Workshop: Rodin chronoEvent-B: A Rodin Plugin for Timed Constraints in Event-B 14:00 - 14:25					FM Workshop: Rodin Rust Toolchain for Event-B with Language Server Support 14:25 - 14:50					FM Workshop: Rodin A theory for defining and handling matrices in Event-B 14:50 - 15:15					FM Workshop: Rodin Enhancing EB4EB Framework by Introducing Lexicographic Variants 15:15 - 15:40					FM Workshop: Rodin Automated transformation of Event-B machines into EB4EB deep instances 15:40 - 16:05								FM Workshop: Rodin Inductive Set Construction using instantiation and Rodin 16:20 - 16:45					FM Workshop: Rodin An Event-B Sequent Prover in Prolog and ProB 16:45 - 17:10					FM Workshop: Rodin Updates in the Rodin plug-in ecosystem 17:10 - 17:35					FM Workshop: Rodin Modeling and Proving the Parallel Climbers Puzzle in Event-B 17:35 - 18:00								FM ABZ Gedenkschrift for Jean-Raymond AbrialABZ 18:15 - 19:15

Tue 19 May
Displayed time zone: Osaka, Sapporo, Tokyo change


Room	9:00			15			30			45			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
2F Conf Room 2	FM Tutorials Mixed Flow-Sensitive Static Analysis: Engineering Modularity 09:00 - 10:30																								FM Tutorials Mixed Flow-Sensitive Static Analysis: Engineering Modularity 11:00 - 12:30																																				FM Tutorials Digital Twins: a Briefing for Formalists 14:00 - 15:30																								FM Tutorials Digital Twins: a Briefing for Formalists 16:00 - 17:30

Hide past events

Room information: 2F Conf Room 2

Mon 18 May
Displayed time zone: Osaka, Sapporo, Tokyo change

Tue 19 May
Displayed time zone: Osaka, Sapporo, Tokyo change

Mon 18 May
Displayed time zone: Osaka, Sapporo, Tokyo change

Workshop: Rodin

Workshop: Rodin

ABZ

Tue 19 May
Displayed time zone: Osaka, Sapporo, Tokyo change

Tutorials

Tutorials

Tutorials

Tutorials

Mon 18 May
Displayed time zone: Osaka, Sapporo, Tokyo change

Tue 19 May
Displayed time zone: Osaka, Sapporo, Tokyo change

Tracks

Room information: 2F Conf Room 2

Program Display Configuration

Mon 18 MayDisplayed time zone: Osaka, Sapporo, Tokyo change

Tue 19 MayDisplayed time zone: Osaka, Sapporo, Tokyo change

Mon 18 MayDisplayed time zone: Osaka, Sapporo, Tokyo change

Workshop: Rodin

Workshop: Rodin

ABZ

Tue 19 MayDisplayed time zone: Osaka, Sapporo, Tokyo change

Tutorials

Tutorials

Tutorials

Tutorials

Mon 18 MayDisplayed time zone: Osaka, Sapporo, Tokyo change

Tue 19 MayDisplayed time zone: Osaka, Sapporo, Tokyo change

Mon 18 May
Displayed time zone: Osaka, Sapporo, Tokyo change

Tue 19 May
Displayed time zone: Osaka, Sapporo, Tokyo change

Mon 18 May
Displayed time zone: Osaka, Sapporo, Tokyo change

Tue 19 May
Displayed time zone: Osaka, Sapporo, Tokyo change

Mon 18 May
Displayed time zone: Osaka, Sapporo, Tokyo change

Tue 19 May
Displayed time zone: Osaka, Sapporo, Tokyo change