FM 2026
Mon 18 - Fri 22 May 2026
Tokyo, Japan
Toggle navigation
Attending
Venue: Hitotsubashi Hall
Travel Information
Accommodations
Code of Conduct
Tracks
FM 2026
Invited Talks
Research Track
TAP Track
Artifact Evaluation
Journal First
Industry Day
Doctoral Symposium
Workshops
Tutorials
Co-hosted: ABZ 2026
Organization
FM 2026 Committees
Organizing Committee
Track Committees
Research Track
TAP Track
Artifact Evaluation
Industry Day
Doctoral Symposium
Workshops
Tutorials
Contributors
People Index
Search
Series
Sign in
Sign up
FM 2026
(
series
) /
Nikolaj Bjørner
FM 2026 profile
conf.research.org general profile
ASE 2025 profile
ETAPS 2019 profile
NASA Formal Methods 2023 profile
PLDI 2016 profile
PLDI 2021 profile
PLDI 2024 profile
POPL 2016 profile
POPL 2017 profile
POPL 2020 profile
POPL 2021 profile
POPL 2023 profile
SPLASH 2021 profile
Registered user since Thu 15 Nov 2018
Name:
Nikolaj Bjørner
Affiliation:
Microsoft Research
Contributions
2026
FM
Committee Member in Tutorial Track Committee within the Tutorials-track
Show activities from other conferences
Share
Using general profile
x
Thu 22 Jan 10:48
