FM 2026 includes special sessions featuring planned and community-oriented activities.
The FM4All & ACM Reference Curriculum session presents a new curriculum initiative.
The FME Business Meeting is an invitation-only session.
Dates
Plenary
Wed 20 MayDisplayed time zone: Osaka, Sapporo, Tokyo change
Wed 20 May
Displayed time zone: Osaka, Sapporo, Tokyo change
08:30 - 09:00 | |||
08:30 30mRegistration | Registration Services | ||
09:00 - 09:15 | |||
09:00 15mTalk | FM 2026 Opening Main Plenaries / Invited Talks | ||
09:15 - 10:25 | |||
09:15 70mKeynote | Cutting out FM Angles from the Jungle of Automated Driving Main Plenaries / Invited Talks Ichiro Hasuo National Institute of Informatics, Japan | ||
10:25 - 10:45 | |||
10:45 - 11:15 | |||
10:45 30mCoffee break | Break Services | ||
12:30 - 13:50 | |||
12:30 80mLunch | Lunch Services | ||
13:50 - 15:00 | |||
13:50 70mKeynote | The Industrial Perspective on GenAI for Formal Methods Main Plenaries / Invited Talks Daniel Kroening Amazon | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Break Services | ||
15:30 - 16:30 | |||
15:30 60mMeeting | FAC Editorial Board Meeting (Member Only) Community Sessions | ||
16:35 - 16:50 | |||
16:35 15mCoffee break | Break Services | ||
18:10 - 18:30 | Walk to Reception at TKPMain Plenaries / Invited Talks at Reception Venue: TKP Garden City PREMIUM Jinbocho | ||
18:10 20mDinner | Move to Reception Main Plenaries / Invited Talks | ||
18:30 - 20:30 | |||
18:30 2hDinner | Reception Main Plenaries / Invited Talks | ||
Thu 21 MayDisplayed time zone: Osaka, Sapporo, Tokyo change
Thu 21 May
Displayed time zone: Osaka, Sapporo, Tokyo change
08:30 - 09:00 | |||
08:30 30mRegistration | Registration Services | ||
09:00 - 10:10 | |||
09:00 70mKeynote | Testing and Analysis in the AI Era Main Plenaries / Invited Talks Cristian Cadar Imperial College London | ||
10:10 - 10:40 | |||
10:10 30mCoffee break | Break Services | ||
12:30 - 14:10 | |||
12:30 1h40mLunch | Lunch Services | ||
12:30 - 14:10 | |||
12:30 1h40mLunch | FME Business Meeting Community Sessions | ||
14:10 - 15:35 | |||
14:10 85mTalk | FM4All - FME Guidelines for Teaching Formal Methods as a Knowledge Area in the ACM Curriculum Community Sessions Luigia Petre Åbo Akademi University | ||
15:35 - 16:05 | |||
15:35 30mCoffee break | Break Services | ||
17:55 - 18:15 | Bus to the Banquet at ChinzansoMain Plenaries / Invited Talks at Outside: Bus in Front of the Venue Building | ||
17:55 20mDinner | Move to Banquet Main Plenaries / Invited Talks | ||
19:00 - 21:00 | |||
19:00 2hDinner | Banquet Main Plenaries / Invited Talks | ||