FM&MDD 2016

1st Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems

November 14 2016, Tokyo - in Conjunction with ICFEM 2016

Main Content

Organizers

Fuyuki Ishikawa, National Institute of Informatics, Japan

Alexander Romanovsky, Newcastle University, UK

Elena Troubitsyna, Åbo Akademi University, Finland

Program Committee

  • Yamine Ait Ameur (IRIT / INPT-ENSEEIHT, France)
  • Toshiaki Aoki (Japan Advanced Institute of Science and Technology, Japan)
  • Michael Butler (University of Southampton, UK)
  • Susanna Donatelli (Università degli Studi di Torino, Italy)
  • Holger Giese (Hasso-Plattner-Institut, Germany)
  • Jérémie Guiochet (LAAS, France)
  • Wilhelm Hasselbring (Kiel University, Germany)
  • Shin Nakajima (National Institute of Informatics, Japan)
  • Richard Paige (University of York, UK)
  • Patrizio Pelliccione (Chalmers University of Technology, Sweden)
  • Arend Rensink (University of Twente, The Netherlands)
  • Stefano Russo (Università degli Studi di Napoli Federico II, Italy)
  • Cristina Seceleanu (Mälardalen University, Sweden)
  • Dániel Varró (McGill University, Canada / Budapest University of Technology and Economics, Hungary)