FM&MDD 2017

2nd Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems

November 16 2017, Xi'an - in Conjunction with ICFEM 2017

Main Content

Organizers

Fuyuki Ishikawa, National Institute of Informatics, Japan

Patrizio Pellicione, Chalmers University of Technology and University of Gothenburg, Sweden

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)
  • Holger Giese (Hasso-Plattner-Institut, Germany)
  • Jérémie Guiochet (LAAS, France)
  • Wilhelm Hasselbring (Kiel University, Germany)
  • Linas Laibinis (Vilnius University, Lithuania )
  • Shin Nakajima (National Institute of Informatics, Japan)
  • Irum Rauf (Åbo Akademi, Finland)
  • Alexander Romanovsky (Newcastle University)
  • Arend Rensink (University of Twente, The Netherlands)
  • Stefano Russo (Università degli Studi di Napoli Federico II, Italy)
  • Antonella Santone (University of Molise)
  • Cristina Seceleanu (Mälardalen University, Sweden)