FM 2026
Mon 18 - Fri 22 May 2026
Tokyo, Japan
Toggle navigation
Attending
Venue: Hitotsubashi Hall
Reception: TKP Garden City PREMIUM Jinbocho
Banquet: Chinzanso
Registration
Visa Information
Travel Information
Accommodations
Code of Conduct
Sponsorship
Program
FM Program
Your Program
Week Overview
Mon 18 May
Tue 19 May
Wed 20 May
Thu 21 May
Fri 22 May
Tracks
FM 2026
Main Plenaries / Invited Talks
Community Sessions
Research Track
TAP Track
Artifact Evaluation
Journal First
Industry Day
Doctoral Symposium
Tutorials
ABZ
Workshop: AIPV
Workshop: FMTea
Workshop: Overture
Workshop: Rodin
Workshops Proposal
Organization
FM 2026 Committees
FME Board
Organizing Committee
Track Committees
Research Track
TAP Track
Artifact Evaluation
Journal First
Industry Day
Doctoral Symposium
Tutorials
ABZ
Workshops Proposal
Contributors
People Index
Search
Series
Sign in
Sign up
FM 2026
(
series
) /
Hitotsubashi Hall
/
Room information: 2F Room 201-203
Venue
Hitotsubashi Hall
Room name
2F Room 201-203
Floor
2
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+09:00) Osaka, Sapporo, Tokyo
.
Use conference time zone: (GMT+09:00) Osaka, Sapporo, Tokyo
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-06:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Cancun
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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
18:00 - 20:00
AIPV Reception
Workshop: AIPV
at
2F Room 201-203
18:00
2h
Talk
AIPV Reception
Workshop: AIPV
Tue 19 May
Displayed time zone:
Osaka, Sapporo, Tokyo
change
09:00 - 09:10
FMTea Opening
Workshop: FMTea
at
2F Room 201-203
Chair(s):
Gustavo Carvalho
Universidade Federal de Pernambuco
,
Tsutomu Kobayashi
Japan Aerospace Exploration Agency (JAXA)
,
Luigia Petre
Åbo Akademi University
09:10 - 10:30
FMTea Session 1
Workshop: FMTea
at
2F Room 201-203
Chair(s):
Brijesh Dongol
University of Surrey
09:10
25m
Talk
Autograding Weakest Precondition Proofs and Dafny Specifications
Workshop: FMTea
Graeme Smith
The University of Queensland
,
Hunter Whitlock
The University of Queensland
File Attached
09:35
25m
Talk
Automatic Assessment and Feedback on Undergraduates’ Structural Induction Proofs
Workshop: FMTea
Edward Sabinus
Martin-Luther-University Halle-Wittenberg
,
Thomas Kühn
Martin-Luther-University Halle-Wittenberg
,
Wolf Zimmermann
Martin-Luther-University Halle-Wittenberg
Link to publication
DOI
Media Attached
File Attached
10:00
25m
Talk
Seven-Year Activity to Introduce B-Method to Japanese Technical College Students
Workshop: FMTea
Takaomi Ohnishi
National Institute of Technology, Tomakomai College, Japan
,
Yoshihiko Nakamura
National Institute of Technology, Tomakomai College
,
Ryota Yamamoto
National Institute of Technology, Tomakomai College
File Attached
11:00 - 12:00
FMTea Invited Talk 1
Workshop: FMTea
at
2F Room 201-203
Chair(s):
Gustavo Carvalho
Universidade Federal de Pernambuco
11:00
60m
Keynote
Teaching Logic with Specification Challenges
Workshop: FMTea
Alcino Cunha
University of Minho; INESC TEC
File Attached
12:00 - 12:30
FMTea FM4All Session 1
Workshop: FMTea
at
2F Room 201-203
Chair(s):
Gustavo Carvalho
Universidade Federal de Pernambuco
12:00
30m
Talk
FM4All - FME Guidelines for Teaching Formal Methods as a Knowledge Area in the ACM Curriculum
Workshop: FMTea
Luigia Petre
Åbo Akademi University
File Attached
14:00 - 15:00
FMTea Invited Talk 2
Workshop: FMTea
at
2F Room 201-203
Chair(s):
Tsutomu Kobayashi
Japan Aerospace Exploration Agency (JAXA)
14:00
60m
Keynote
Teaching Unifying Theories of Programming
Workshop: FMTea
Jim Woodcock
University of York
File Attached
15:00 - 15:30
FMTea FM4All Session 2
Workshop: FMTea
at
2F Room 201-203
Chair(s):
Tsutomu Kobayashi
Japan Aerospace Exploration Agency (JAXA)
15:00
30m
Talk
FM4All - FME Guidelines for Teaching Formal Methods as a Knowledge Area in the ACM Curriculum
Workshop: FMTea
Luigia Petre
Åbo Akademi University
File Attached
16:00 - 17:20
FMTea Session 2
Workshop: FMTea
at
2F Room 201-203
Chair(s):
Graeme Smith
The University of Queensland
16:00
25m
Talk
Learning Formal Methods through Project-Based Modeling of Concurrent Systems with Anemone
Workshop: FMTea
Manel Barkallah
University of Namur
,
Jean-Marie Jacquet
University of Namur
File Attached
16:25
25m
Talk
Teaching Frama-C for Cybersecurity
Workshop: FMTea
Julien Signoles
Université Paris-Saclay, CEA, List
File Attached
16:50
25m
Talk
VeHa: A Hybrid National Verification Hackathon for Better Formal Methods Education
Workshop: FMTea
Sergey Staroletov
Polzunov Altai State Technical University
,
Dmitry Kondratyev
A.P. Ershov Institute of Informatics Systems SB RAS
,
Vladimir Shelekhov
A.P. Ershov Institute of Informatics Systems SB RAS
,
Alexander Kogtenkov
Kaspersky Lab
,
Nikolay Shilov
Innopolis University
,
Natalia Garanina
A.P. Ershov Institute of Informatics Systems SB RAS
,
Irina Shoshmina
Peter the Great St. Petersburg Polytechnic University
,
Timofey Cherganov
RusBITech-Astra LLC
,
Vasil Dyadov
Kaspersky Lab
File Attached
17:20 - 17:30
FMTea Closing
Workshop: FMTea
at
2F Room 201-203
Chair(s):
Gustavo Carvalho
Universidade Federal de Pernambuco
,
Tsutomu Kobayashi
Japan Aerospace Exploration Agency (JAXA)
Wed 20 May
Displayed time zone:
Osaka, Sapporo, Tokyo
change
15:30 - 16:30
FAC Editorial Board Meeting (Member Only)
Community Sessions
at
2F Room 201-203
15:30
60m
Meeting
FAC Editorial Board Meeting (Member Only)
Community Sessions
Thu 21 May
Displayed time zone:
Osaka, Sapporo, Tokyo
change
12:30 - 14:10
FME Business Meeting
Community Sessions
at
2F Room 201-203
12:30
1h40m
Lunch
FME Business Meeting
Community Sessions
Mon 18 May
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
18:00
30
19:00
30
2F Room 201-203
Workshop: AIPV
AIPV Reception
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
2F Room 201-203
Workshop: FMTea
FMTea Opening
Workshop: FMTea
FMTea Session 1
Workshop: FMTea
FMTea Invited Talk 1
Workshop: FMTea
FMTea FM4All Session 1
Workshop: FMTea
FMTea Invited Talk 2
Workshop: FMTea
FMTea FM4All Session 2
Workshop: FMTea
FMTea Session 2
Workshop: FMTea
FMTea Closing
Wed 20 May
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
15:00
30
16:00
30
2F Room 201-203
Community Sessions
FAC Editorial Board Meeting (Member Only)
Thu 21 May
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
12:00
30
13:00
30
14:00
30
2F Room 201-203
Community Sessions
FME Business Meeting
Mon 18 May
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
18:00
15
30
45
19:00
15
30
45
2F Room 201-203
FM Workshop: AIPV
AIPV Reception
18:00 - 20:00
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
2F Room 201-203
FM Workshop: FMTea
Autograding Weakest Precondition Proofs and Dafny Specifications
09:10 - 09:35
FM Workshop: FMTea
Automatic Assessment and Feedback on Undergraduates’ Structural Inducti ...
09:35 - 10:00
FM Workshop: FMTea
Seven-Year Activity to Introduce B-Method to Japanese Technical College ...
10:00 - 10:25
FM Workshop: FMTea
Teaching Logic with Specification Challenges
11:00 - 12:00
FM Workshop: FMTea
FM4All - FME Guidelines for Teaching Formal Methods as a Knowledge Area ...
12:00 - 12:30
FM Workshop: FMTea
Teaching Unifying Theories of Programming
14:00 - 15:00
FM Workshop: FMTea
FM4All - FME Guidelines for Teaching Formal Methods as a Knowledge Area ...
15:00 - 15:30
FM Workshop: FMTea
Learning Formal Methods through Project-Based Modeling of Concurrent Sy ...
16:00 - 16:25
FM Workshop: FMTea
Teaching Frama-C for Cybersecurity
16:25 - 16:50
FM Workshop: FMTea
VeHa: A Hybrid National Verification Hackathon for Better Formal Method ...
16:50 - 17:15
Wed 20 May
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
15:00
15
30
45
16:00
15
30
45
2F Room 201-203
FM Community Sessions
FAC Editorial Board Meeting (Member Only)
15:30 - 16:30
Thu 21 May
Displayed time zone:
Osaka, Sapporo, Tokyo
change
Room
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
2F Room 201-203
FM Community Sessions
FME Business Meeting
12:30 - 14:10
x
Sat 13 Jun 05:04