FM 2026
Mon 18 - Fri 22 May 2026
Tokyo, Japan
Toggle navigation
Attending
Venue: Hitotsubashi Hall
Code of Conduct
Tracks
FM 2026
Invited Talks
Research Track
TAP Track
Artifact Evaluation
Journal First
Industry Day
Doctoral Symposium
Workshops
Tutorials
Organization
FM 2026 Committees
Organizing Committee
Track Committees
Research Track
TAP Track
Doctoral Symposium
Contributors
People Index
Search
Series
Sign in
Sign up
FM 2026
(
series
) /
Research Track
/
Program Committee
FM Research Track
Augusto Sampaio
Program Co-Chair
Universidade Federal de Pernambuco
Brazil
Marielle Stoelinga
Program Co-Chair
University of Twente and Radboud University, Nijmegen
Netherlands
Erika Abraham
RWTH Aachen University
Germany
Wolfgang Ahrendt
Chalmers University of Technology
Sweden
Oana Andrei
University of Glasgow
United Kingdom
Alessandro Armando
University of Genova & Fondazione Bruno Kessler
Christel Baier
TU Dresden, Germany
Germany
Ezio Bartocci
Technische Universität Wien
Austria
Gustavo Betarte
Facultad de Ingeniería, Universidad de la República
Uruguay
Mohamed Bettaz
Czech Technical University in Prague
Czechia
Dirk Beyer
LMU Munich
Germany
Patricia Bouyer
CNRS
Einar Broch Johnsen
University of Oslo
Norway
Darion Cassel
Amazon Web Services
United States
Valentina Castiglioni
Eindhoven University of Technology
Ana Cavalcanti
University of York
United Kingdom
Milan Ceska
Faculty of Information Technology, Brno University of Technology
Yu-Fang Chen
Academia Sinica
Taiwan
Pedro R. D'Argenio
Universidad Nacional de Córdoba - CONICET
Nancy Day
University of Waterloo, Canada
Canada
Jin Song Dong
National University of Singapore
Singapore
Marco Faella
Università di Napoli "Federico II"
Italy
Marie Farrell
The University of Manchester
United Kingdom
José Fragoso Santos
INESC-ID; Instituto Superior Técnico - University of Lisbon
Portugal
Carlo A. Furia
Università della Svizzera italiana (USI)
Switzerland
Ichiro Hasuo
National Institute of Informatics, Japan
Japan
Falk Howar
TU Dortmund University
Germany
Marieke Huisman
University of Twente
Netherlands
Reiner Hähnle
Technical University of Darmstadt
Germany
Atsushi Igarashi
Kyoto University
Japan
Tsutomu Kobayashi
Japan Aerospace Exploration Agency (JAXA)
Japan
Nikolai Kosmatov
Thales Research & Technology
France
Laura Kovacs
Vienna University of Technology (TU Wien)
Austria
Juneyoung Lee
AWS
Zhiming Liu
Southwest University
Nuno Macedo
University of Porto; INESC TEC
Portugal
Diego Marmsoler
University of Exeter
Mieke Massink
CNR-ISTI Pisa, Italy
Anastasia Mavridou
KBR / NASA Ames Research Center
United States
Annabelle McIver
Macquarie University
Hernan Melgratti
University of Buenos Aires, Argentina
Carroll Morgan
University of New South Wales; Trustworthy Systems
Alexandre Mota
Universidade Federal de Pernambuco
Mohammad Reza Mousavi
King's College London
United Kingdom
David Naumann
Stevens Institute of Technology
United States
Danel Neider
TU Dortmund University
Germany
Jose Nuno Oliveira
University of Minho; INESC TEC
Portugal
Jean-François Raskin
Université Libre de Bruxelles
Matteo Rossi
Politecnico di Milano
Italy
Daniel Schoepe
Amazon
United Kingdom
Cristina Seceleanu
Mälardalen University
Sweden
Adenilso Simão
University of São Paulo
Brazil
Ana Sokolova
University of Salzburg
Austria
Jun Sun
Singapore Management University
Singapore
Silvia Lizeth Tapia Tarifa
University of Oslo, Norway
Mattias Ulbrich
KIT
Germany
Matthias Volk
Eindhoven University of Technology
Heike Wehrheim
Carl von Ossietzky Universität Oldenburg / University of Oldenburg
Germany
Jim Woodcock
University of York
Naijun Zhan
Institute of Software, Chinese Academy of Sciences
Min Zhang
East China Normal University
China
Zhenya Zhang
Kyushu University, Japan
Japan
Maurice ter Beek
CNR-ISTI Pisa, Italy
Italy
Jaco van de Pol
Aarhus University
Denmark
x
Sun 2 Nov 11:20