2F Conf Room 4 - FM 2026

VenueHitotsubashi Hall

Room name2F Conf Room 4

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

09:15 - 10:45	Tutorial 1: Distributed Runtime Verification in Proximity-based Networks: A Tutorial on the Aggregate Programming Approach (Part 1)Tutorials at 2F Conf Room 4

09:15 90m Tutorial		Distributed Runtime Verification in Proximity-based Networks: A Tutorial on the Aggregate Programming Approach Tutorials Giorgio Audrito Università di Torino, Ferruccio Damiani University of Turin, Giordano Scarso University of Turin, Volker Stolz Høgskulen på Vestlandet, Gianluca Torta DOI Pre-print

11:10 - 12:40	Tutorial 1: Distributed Runtime Verification in Proximity-based Networks: A Tutorial on the Aggregate Programming Approach (Part 2)Tutorials at 2F Conf Room 4

11:10 90m Tutorial		Distributed Runtime Verification in Proximity-based Networks: A Tutorial on the Aggregate Programming Approach Tutorials Giorgio Audrito Università di Torino, Ferruccio Damiani University of Turin, Giordano Scarso University of Turin, Volker Stolz Høgskulen på Vestlandet, Gianluca Torta DOI Pre-print

14:00 - 15:30	Tutorial 3: Reasoning over Relaxed Shared Memory Models: A Tutorial (Part 1)Tutorials at 2F Conf Room 4

14:00 90m Tutorial		Reasoning over Relaxed Shared Memory Models: A Tutorial Tutorials Brijesh Dongol University of Surrey Pre-print

16:00 - 17:30	Tutorial 3: Reasoning over Relaxed Shared Memory Models: A Tutorial (Part 2)Tutorials at 2F Conf Room 4

16:00 90m Tutorial		Reasoning over Relaxed Shared Memory Models: A Tutorial Tutorials Brijesh Dongol University of Surrey Pre-print

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

09:00 - 09:10	ABZ OpeningABZ at 2F Conf Room 4

09:00 10m Talk		ABZ Opening ABZ

09:10 - 10:10	ABZ Invited Talk 1: Toshiaki AokiABZ at 2F Conf Room 4

09:10 60m Keynote		Practical Applications of Formal Methods to Automotive Systems: From In-Vehicle Systems to Autonomous Driving ABZ Toshiaki Aoki JAIST

10:10 - 10:35	ABZ Session 1: Concurrent and Distributed SystemsABZ at 2F Conf Room 4 Chair(s): Dominique Mery Université de Lorraine, CNRS, INRIA / LORIA & Telecom Nancy, France

10:10 25m Talk		A Method for Testing Partial-Order Reduction Theories in Alloy ABZ Mara Miulescu Eindhoven University of Technology, Thomas Neele Eindhoven University of Technology

11:00 - 12:30	ABZ Session 1: Concurrent and Distributed SystemsABZ at 2F Conf Room 4 Chair(s): Dominique Mery Université de Lorraine, CNRS, INRIA / LORIA & Telecom Nancy, France

11:00 25m Talk		Identifying Design Flaws in a Lock-Free Task Pool with TLA+ ABZ Ilya Shchepetkov Kaspersky Lab, Vasil Dyadov Kaspersky Lab, Alexander Kogtenkov Kaspersky Lab
11:25 25m Talk		Formal Modelling and Analysis of the ORAN O2 Interface in Alloy: Implications for NTN Deployment ABZ Sean McLaren University of Glasgow, Tsutomu Kobayashi Japan Aerospace Exploration Agency (JAXA), Leon Wong Rakuten Mobile, Inc, Paul Harvey Rakuten Mobile Innovation Studio
11:50 25m Talk		Formal Verification of Healthcare Computer Network Architectures using Alloy and TLA+ ABZ Daniel Daukševič Institute of Computer Science, Vilnius University, Vilnius,Lithuania, Linas Laibinis Institute of Computer Science, Vilnius University, Vilnius,Lithuania
12:15 15m Talk		Formal Verification of Decentralized Autonomous Organizations ABZ Simone Valentini University of Milan, Sowelu Avanzo University of Turin, Elvinia Riccobene Computer Science Dept., University of Milan

13:45 - 14:45	ABZ Invited Talk 2: Jin Song DongABZ at 2F Conf Room 4

13:45 60m Keynote		Reasoning Beyond LLM: Formal Methods Agents ABZ Jin Song Dong National University of Singapore

14:45 - 15:50	ABZ Session 2: Safety and SecurityABZ at 2F Conf Room 4 Chair(s): Marc Frappier Université de Sherbrooke, Canada

14:45 25m Talk		Relational Verification of Identity Disclosure Using Alloy ABZ Seungil Yang Japan Advanced Institute of Science and Technology (JAIST), Peter Riviere Japan Advanced Institute of Science and Technology (JAIST), Toshiaki Aoki JAIST
15:10 25m Talk		Security-Minded Modelling and Verification of Autonomous Satellite Docking ABZ Juel Hussain University of Manchester, Marie Farrell The University of Manchester, Louise Dennis University of Manchester, Clare Dixon University of Manchester
15:35 15m Talk		SHARCS: Refinement-Centric Hazard Analysis of Requirements for Critical Systems ABZ Asieh Salehi Fathabadi University of Southampton, Thai Son Hoang University of Southampton, Michael Butler University of Southampton

16:15 - 17:20	ABZ Session 3: Methods (1)ABZ at 2F Conf Room 4 Chair(s): Maurice ter Beek CNR-ISTI Pisa, Italy

16:15 25m Talk		Slicing Models for Equiconsistency with Alloy ABZ Marc Thieme Karlsruhe Institute of Technology, Shobhit Singh Karlsruhe Institute of Technology, Terru Stübinger Karlsruhe Institut für Technologie, Romain Pascual MICS, CentraleSupélec, Université Paris-Saclay, Mattias Ulbrich KIT
16:40 25m Talk		Verifying Properties of State-Based Models using Constraint Programming ABZ Victoria Johnson University of Sheffield, Pedro Ribeiro University of York, UK, Simon Foster University of York, Peter Nightingale University of York, Felix Ulrich-Oltean University of York
17:05 15m Talk		Why does it fail? Explanation of verification failures ABZ Lars-Henrik Eriksson Uppsala University

17:35 - 18:40	ABZ Session 4: AutonomyABZ at 2F Conf Room 4 Chair(s): Regine Laleau Paris Est Creteil University

17:35 25m Talk		Encoding BDI Syntax with Theories in Event-B ABZ Mengwei Xu University of Newcastle, Peter Riviere Japan Advanced Institute of Science and Technology (JAIST), Toshiaki Aoki JAIST, Marie Farrell The University of Manchester, Yamine Ait Ameur IRIT/INPT-ENSEEIHT, Neeraj Singh INPT-ENSEEIHT / IRIT, University of Toulouse, France, Guillaume Dupont INPT–ENSEEIHT
18:00 25m Talk		Fuzzing executable ASMETA models ABZ Gabriele Bellini University of Milan, Elvinia Riccobene Computer Science Dept., University of Milan
18:25 15m Talk		Human-Centred Formal Verification: A Vision for Bridging Technical Rigour with Stakeholder Needs in Autonomous Systems ABZ Asieh Salehi Fathabadi University of Southampton, Sebastian Stein University of Southampton

Mon 18 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 4				Tutorials Tutorial 1: Distributed Runtime Verification in Proximity-based Networks: A Tutorial on the Aggregate Programming Approach (Part 1)																							Tutorials Tutorial 1: Distributed Runtime Verification in Proximity-based Networks: A Tutorial on the Aggregate Programming Approach (Part 2)																																		Tutorials Tutorial 3: Reasoning over Relaxed Shared Memory Models: A Tutorial (Part 1)																								Tutorials Tutorial 3: Reasoning over Relaxed Shared Memory Models: A Tutorial (Part 2)

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						18:00						30
2F Conf Room 4	ABZ ABZ Opening		ABZ ABZ Invited Talk 1: Toshiaki Aoki												ABZ ABZ Session 1: Concurrent and Distributed Systems										ABZ ABZ Session 1: Concurrent and Distributed Systems																																	ABZ ABZ Invited Talk 2: Jin Song Dong												ABZ ABZ Session 2: Safety and Security																		ABZ ABZ Session 3: Methods (1)																ABZ ABZ Session 4: Autonomy

Mon 18 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 4				FM Tutorials Distributed Runtime Verification in Proximity-based Networks: A Tutoria ... 09:15 - 10:45																							FM Tutorials Distributed Runtime Verification in Proximity-based Networks: A Tutoria ... 11:10 - 12:40																																		FM Tutorials Reasoning over Relaxed Shared Memory Models: A Tutorial 14:00 - 15:30																								FM Tutorials Reasoning over Relaxed Shared Memory Models: A Tutorial 16:00 - 17:30

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			18:00			15			30			45
2F Conf Room 4	FM ABZ ABZ Opening 09:00 - 09:10		FM ABZ Practical Applications of Formal Methods to Automotive Systems: From In ... 09:10 - 10:10												FM ABZ A Method for Testing Partial-Order Reduction Theories in Alloy 10:10 - 10:35										FM ABZ Identifying Design Flaws in a Lock-Free Task Pool with TLA+ 11:00 - 11:25					FM ABZ Formal Modelling and Analysis of the ORAN O2 Interface in Alloy: Implic ... 11:25 - 11:50					FM ABZ Formal Verification of Healthcare Computer Network Architectures using ... 11:50 - 12:15					FM ABZ Formal Verification of Decentralized Autonomous Organizations 12:15 - 12:30																		FM ABZ Reasoning Beyond LLM: Formal Methods Agents 13:45 - 14:45												FM ABZ Relational Verification of Identity Disclosure Using Alloy 14:45 - 15:10					FM ABZ Security-Minded Modelling and Verification of Autonomous Satellite Docking 15:10 - 15:35					FM ABZ SHARCS: Refinement-Centric Hazard Analysis of Requirements for Critical ... 15:35 - 15:50								FM ABZ Slicing Models for Equiconsistency with Alloy 16:15 - 16:40					FM ABZ Verifying Properties of State-Based Models using Constraint Programming 16:40 - 17:05					FM ABZ Why does it fail? Explanation of verification failures 17:05 - 17:20						FM ABZ Encoding BDI Syntax with Theories in Event-B 17:35 - 18:00					FM ABZ Fuzzing executable ASMETA models 18:00 - 18:25					FM ABZ Human-Centred Formal Verification: A Vision for Bridging Technical Rigo ... 18:25 - 18:40

Room information: 2F Conf Room 4

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

Tutorials

Tutorials

Tutorials

Tutorials

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

ABZ

ABZ

ABZ

ABZ

ABZ

ABZ

ABZ

ABZ

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 4

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

Tutorials

Tutorials

Tutorials

Tutorials

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

ABZ

ABZ

ABZ

ABZ

ABZ

ABZ

ABZ

ABZ

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