2F Conf Room 1 - FM 2026

VenueHitotsubashi Hall

Room name2F Conf Room 1

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 - 14:30	Overture KeynoteWorkshop: Overture at 2F Conf Room 1

14:00 30m Keynote		Overture Keynote Talk Workshop: Overture Keijiro Araki Kyushu Institute of Technology, Japan

15:00 - 15:40	Overture Session 1Workshop: Overture at 2F Conf Room 1

15:00 20m Talk		Overture Tool Overview Workshop: Overture Peter Gorm Larsen Aarhus University
15:20 20m Talk		ViennaTalk Overview Workshop: Overture Tomohiro Oda Software Research Associates, Inc.

16:40 - 17:40	Overture Session 2Workshop: Overture at 2F Conf Room 1

16:40 30m Talk		Trace-Based Execution-Level Observability of VDM-SL Specifications Workshop: Overture Tomohiro Oda Software Research Associates, Inc., Han-Myung Chang Nanzan University
17:10 30m Talk		Executing Kapture's Templates in VDM Workshop: Overture Leo Freitas Newcastle University, Joe Hare Newcastle University, Ken Pierce The University of Newcastle

18:00 - 19:00	Overture Session 3Workshop: Overture at 2F Conf Room 1

18:00 30m Talk		Further Progress Towards Operation Proof Obligation Generation for VDM Workshop: Overture Nick Battle Semi-Retired, Peter Gorm Larsen Aarhus University, Carlo Rende Aarhus University
18:30 30m Talk		A System-of-Systems Case Study for the Verification of Composed Digital Twins Workshop: Overture Mennatullah Khedr Newcastle University, Mengwei Xu University of Newcastle, John Fitzgerald Newcastle University, Peter Gorm Larsen Aarhus University

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

08:50 - 09:00	Doctoral Symposium OpeningDoctoral Symposium at 2F Conf Room 1

08:50 10m Talk		Doctoral Symposium Opening Doctoral Symposium

09:00 - 10:30	DS Session 1: System-Level Verification and Security ApplicationsDoctoral Symposium at 2F Conf Room 1

09:00 30m Talk		Revealing Intent–Implementation Gaps in Schedulers via Learning-Based Fuzzing Doctoral Symposium Akira Hasegawa Japan Advanced Institute of Science and Technology
09:30 30m Talk		Static Analysis and Synthesis of Layered Attestation Protocols Doctoral Symposium Will Thomas University of Kansas
10:00 30m Talk		Towards a Bigraph-Based Digital Twin Framework for Multi-UAV Coordination in AAM Doctoral Symposium Tianxiong Zhang Chair of Software Technology, Technische Universität Dresden

11:00 - 12:30	DS Session 2: Foundations and Formal ReasoningDoctoral Symposium at 2F Conf Room 1

11:00 30m Talk		Towards verified memory allocator for Rust Doctoral Symposium Sinai Kakishita Japan Advanced Institute of Science and Technology
11:30 30m Talk		Unifying Non-Atomicity for Weak Memory Models Doctoral Symposium Stepan Kuznetsov TU Braunschweig & Huawei Hilbert Research Center
12:00 30m Talk		Formal Verification of Soundness and Completeness for Polygon zkEVM Doctoral Symposium Xinghao Peng

14:15 - 15:15	Doctoral Symposium KeynoteDoctoral Symposium at 2F Conf Room 1

14:15 60m Keynote		Engineering Resilient Autonomous Systems with Formal Methods Doctoral Symposium Elena Troubitsyna KTH

	15:15 - 15:45	Doctoral Symposium BreakDoctoral Symposium at 2F Conf Room 1

15:45 - 17:15	DS Session 3: AI-Driven and Empirical ApproachesDoctoral Symposium at 2F Conf Room 1

15:45 30m Talk		Cybersecurity Requirements Assurance in Critical Infrastructure Systems through the Application of Formal Verification and Artificial Intelligence-Based Methods Doctoral Symposium Daniel Daukševič Institute of Computer Science, Vilnius University, Vilnius,Lithuania
16:15 30m Talk		Visualizing Neural Network Behaviors for Verification Doctoral Symposium Xiaolin Liu KTH Royal Institute of Technology
16:45 30m Talk		Towards Characterizing Commit Patterns in Formally Verified Open-Source Projects Using LLM-based Classification Doctoral Symposium Soshi Inoue Kyoto Institute of Technology

	17:15 - 17:25	Doctoral Symposium Short BreakDoctoral Symposium at 2F Conf Room 1

17:25 - 17:30	Best Presentation Award and ClosingDoctoral Symposium at 2F Conf Room 1

17:25 5m Talk		Doctoral Symposium Closing Doctoral Symposium

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
2F Conf Room 1	Workshop: Overture Overture Keynote												Workshop: Overture Overture Session 1																				Workshop: Overture Overture Session 2																Workshop: Overture Overture Session 3

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


Room	8:00						30						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 1											Doctoral Symposium Doctoral Symposium Opening		Doctoral Symposium DS Session 1: System-Level Verification and Security Applications																								Doctoral Symposium DS Session 2: Foundations and Formal Reasoning																																							Doctoral Symposium Doctoral Symposium Keynote												Doctoral Symposium Doctoral Symposium Break						Doctoral Symposium DS Session 3: AI-Driven and Empirical Approaches																		Doctoral Symposium Doctoral Symposium Short Break		Doctoral Symposium Best Presentation Award and Closing

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
2F Conf Room 1	FM Workshop: Overture Overture Keynote Talk 14:00 - 14:30												FM Workshop: Overture Overture Tool Overview 15:00 - 15:20				FM Workshop: Overture ViennaTalk Overview 15:20 - 15:40																FM Workshop: Overture Trace-Based Execution-Level Observability of VDM-SL Specifications 16:40 - 17:10						FM Workshop: Overture Executing Kapture's Templates in VDM 17:10 - 17:40										FM Workshop: Overture Further Progress Towards Operation Proof Obligation Generation for VDM 18:00 - 18:30						FM Workshop: Overture A System-of-Systems Case Study for the Verification of Composed Digital ... 18:30 - 19:00

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


Room	8:00			15			30			45			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 1											FM Doctoral Symposium Doctoral Symposium Opening 08:50 - 09:00		FM Doctoral Symposium Revealing Intent–Implementation Gaps in Schedulers via Learning-Based F ... 09:00 - 09:30						FM Doctoral Symposium Static Analysis and Synthesis of Layered Attestation Protocols 09:30 - 10:00						FM Doctoral Symposium Towards a Bigraph-Based Digital Twin Framework for Multi-UAV Coordinati ... 10:00 - 10:30												FM Doctoral Symposium Towards verified memory allocator for Rust 11:00 - 11:30						FM Doctoral Symposium Unifying Non-Atomicity for Weak Memory Models 11:30 - 12:00						FM Doctoral Symposium Formal Verification of Soundness and Completeness for Polygon zkEVM 12:00 - 12:30																											FM Doctoral Symposium Engineering Resilient Autonomous Systems with Formal Methods 14:15 - 15:15																		FM Doctoral Symposium Cybersecurity Requirements Assurance in Critical Infrastructure Systems ... 15:45 - 16:15						FM Doctoral Symposium Visualizing Neural Network Behaviors for Verification 16:15 - 16:45						FM Doctoral Symposium Towards Characterizing Commit Patterns in Formally Verified Open-Source ... 16:45 - 17:15								FM Doctoral Symposium Doctoral Symposium Closing 17:25 - 17:30

Room information: 2F Conf Room 1

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: Overture

Workshop: Overture

Workshop: Overture

Workshop: Overture

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

Doctoral Symposium

Doctoral Symposium

Doctoral Symposium

Doctoral Symposium

Doctoral Symposium

Doctoral Symposium

Doctoral Symposium

Doctoral Symposium

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 1

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: Overture

Workshop: Overture

Workshop: Overture

Workshop: Overture

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

Doctoral Symposium

Doctoral Symposium

Doctoral Symposium

Doctoral Symposium

Doctoral Symposium

Doctoral Symposium

Doctoral Symposium

Doctoral Symposium

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