FM 2026 runs journal-first track by nomination and invitation in cooperation with key journals in the FM community. Below is the list of the talks to appear in the conference.
Selected Talks
| Title | |
|---|---|
| Journal-First Opening Talk Journal First | |
| Memory Consistency and Program Transformations Journal First Link to publication | |
| Modelling and Analysing Routing Protocols Diagrammatically with Bigraphs Journal First Link to publication |
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 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 | ||
15:30 - 16:25 | |||
15:30 5mTalk | Journal-First Opening Talk Journal First | ||
15:35 25mTalk | Modelling and Analysing Routing Protocols Diagrammatically with Bigraphs Journal First Michele Sevegnani University of Glasgow Link to publication | ||
16:00 25mTalk | Memory Consistency and Program Transformations Journal First Akshay Gopalakrishnan McGill University Link to publication | ||
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 | ||