FM
All Editions
Mon 18 - Fri 22 May 2026 Tokyo, JapanFM 2026FM 2026 will be held in Tokyo from May 18 to 22, 2026. FM 2026 is the 27th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software and systems development. The FM symposia have been successful in bringing together researchers and industrial users around a program of ... |
Organizing Committee (FM 2026)
Fuyuki IshikawaGeneral Chair
National Institute of Informatics
Japan
Augusto SampaioProgram Co-Chair
Universidade Federal de Pernambuco
Brazil
Marielle StoelingaProgram Co-Chair
University of Twente and Radboud University, Nijmegen
Netherlands
Achim D. BruckerTAP Track Co-Chair
University of Exeter
United Kingdom
Marie-Christine JakobsTAP Track Co-Chair
LMU Munich, Germany
Germany
Étienne AndréArtifact Evaluation Co-Chair
Université Sorbonne Paris Nord; LIPN; CNRS
France
Masaki WagaArtifact Evaluation Co-Chair
Kyoto University
Japan
Anne HaxthausenJournal-First Track Chair
Technical University of Denmark
Denmark
Toshiaki AokiDoctoral Symposium Co-Chair
JAIST
Japan
Cyrille ArthoDoctoral Symposium Co-Chair
KTH Royal Institute of Technology, Sweden
Elena TroubitsynaWorkshops Co-Chair
KTH
Tomoyuki YokogawaWorkshops Co-Chair
Okayama Prefectural University
Japan
Kazuhiro OgataTutorials Co-Chair
Japan Advanced Institute of Science and Technology
Neeraj SinghTutorials Co-Chair
INPT-ENSEEIHT / IRIT, University of Toulouse, France
France
Paolo ArcainiFinancial Chair
National Institute of Informatics
Japan
Tsutomu KobayashiPublicity Chair
Japan Aerospace Exploration Agency (JAXA)
Japan
Deyun LyuWeb Chair
National Institute of Informatics
Japan