FM 2026
Mon 18 - Fri 22 May 2026
Tokyo, Japan
Toggle navigation
Attending
Venue: Hitotsubashi Hall
Registration
Visa Information
Travel Information
Accommodations
Code of Conduct
Sponsorship
Program
Week Overview
Tracks
FM 2026
Invited Talks
Research Track
TAP Track
Artifact Evaluation
Journal First
Industry Day
Doctoral Symposium
Tutorials
Workshops Proposal
ABZ 2026
Workshop: AIPV
Workshop: FMTea
Workshop: Overture
Workshop: Rodin
Organization
FM 2026 Committees
FME Board
Organizing Committee
Track Committees
Research Track
TAP Track
Artifact Evaluation
Journal First
Industry Day
Doctoral Symposium
Tutorials
Workshops Proposal
Contributors
People Index
Search
Series
Sign in
Sign up
FM 2026
(
series
) /
Werner Dietl
FM 2026 profile
conf.research.org general profile
CC 2017 profile
ECOOP 2015 profile
ECOOP 2016 profile
ECOOP 2019 profile
ECOOP 2022 profile
ECOOP 2025 profile
ECOOP 2026 profile
ECOOP and ISSTA 2018 profile
ECOOP and ISSTA 2021 profile
ECOOP and ISSTA 2023 profile
ESEC/FSE 2020 profile
ESEC/FSE 2023 profile
ICSE 2025 profile
ISSTA/ECOOP 2024 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
SANER 2024 profile
SPLASH 2012 profile
SPLASH 2014 profile
SPLASH 2015 profile
SPLASH 2016 profile
SPLASH 2018 profile
SPLASH 2019 profile
SPLASH 2020 profile
SPLASH 2021 profile
SPLASH 2024 profile
Registered user since Sun 11 Sep 2016
Name:
Werner Dietl
Country:
Canada
Affiliation:
University of Waterloo
Personal website:
https://ece.uwaterloo.ca/~wdietl/
Contributions
2026
FM
A Framework for the Interoperable Specification and Verification of Encapsulated Data Structures
Show activities from other conferences
Share
Using general profile
x
Mon 13 Apr 23:44