Lunch, Dinner, Coffee-breaks
Dates
Plenary
Mon 18 MayDisplayed time zone: Osaka, Sapporo, Tokyo change
Mon 18 May
Displayed time zone: Osaka, Sapporo, Tokyo change
08:45 - 09:15 | |||
08:45 30mRegistration | Registration Services | ||
10:45 - 11:10 | |||
10:45 25mCoffee break | Break Services | ||
12:40 - 14:00 | |||
12:40 80mLunch | Lunch Services | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Services | ||
Tue 19 MayDisplayed time zone: Osaka, Sapporo, Tokyo change
Tue 19 May
Displayed time zone: Osaka, Sapporo, Tokyo change
08:30 - 09:00 | |||
08:30 30mRegistration | Registration Services | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Services | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Services | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Services | ||
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 Augusto Sampaio Universidade Federal de Pernambuco, Marielle Stoelinga University of Twente and Radboud University, Nijmegen, Fuyuki Ishikawa National Institute of Informatics | ||
09:15 - 10:25 | FM/ABZ Keynote: Ichiro HasuoMain Plenaries / Invited Talks at 2F Auditorium Chair(s): Marielle Stoelinga University of Twente and Radboud University, Nijmegen | ||
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 | FME Lucas AwardMain Plenaries / Invited Talks at 2F Auditorium Chair(s): Ana Cavalcanti University of York | ||
10:45 - 11:15 | |||
10:45 30mCoffee break | Break Services | ||
12:30 - 13:50 | |||
12:30 80mLunch | Lunch Services | ||
13:50 - 15:00 | FM Industry Keynote: Daniel KroeningMain Plenaries / Invited Talks at 2F Auditorium Chair(s): Augusto Sampaio Universidade Federal de Pernambuco | ||
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 | ||
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 | FM/TAP Keynote: Cristian CadarMain Plenaries / Invited Talks at 2F Auditorium Chair(s): Nikolai Kosmatov Thales Research & Technology | ||
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 | ||
15:35 - 16:05 | |||
15:35 30mCoffee break | Break Services | ||
17:55 - 18:15 | |||
17:55 20mDinner | Move to Banquet Main Plenaries / Invited Talks | ||
19:00 - 21:00 | |||
19:00 2hDinner | Banquet supported by Noeon Research Main Plenaries / Invited Talks | ||
Fri 22 MayDisplayed time zone: Osaka, Sapporo, Tokyo change
Fri 22 May
Displayed time zone: Osaka, Sapporo, Tokyo change
08:30 - 09:00 | |||
08:30 30mRegistration | Registration Services | ||
09:00 - 10:10 | FM Keynote: Ruzica PiskacMain Plenaries / Invited Talks at 2F Auditorium Chair(s): Fuyuki Ishikawa National Institute of Informatics | ||
09:00 70mKeynote | Towards Privacy-Preserving Verification Main Plenaries / Invited Talks Ruzica Piskac Yale University | ||
10:10 - 10:40 | |||
10:10 30mCoffee break | Break Services | ||
12:30 - 13:50 | |||
12:30 80mLunch | Lunch Services | ||
15:40 - 16:10 | |||
15:40 30mCoffee break | Break Services | ||
17:55 - 18:10 | |||
17:55 7mTalk | FM 2026 Closing Main Plenaries / Invited Talks | ||
18:02 7mTalk | FM 2027 Announcement Main Plenaries / Invited Talks | ||
Unscheduled Events
| Not scheduled Other | Free Space Services |