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
) /
Yamine Ait Ameur
FM 2026 profile
conf.research.org general profile
APSEC 2022 profile
ASE 2026 profile
ICSE 2025 profile
NASA Formal Methods 2023 profile
Registered user since Thu 30 Mar 2023
Name:
Yamine
Ait Ameur
Country:
France
Affiliation:
IRIT/INPT-ENSEEIHT
Contributions
2026
FM
Session Chair of ABZ Gedenkschrift for Jean-Raymond Abrial (part of ABZ)
Encoding BDI Syntax with Theories in Event-B
Show activities from other conferences
Share
Using general profile
x
Sat 6 Jun 19:12
