19th International Symposium on Formal Methods

Organizing Committees

General Chair

  • Sjouke Mauw, University of Luxembourg, Luxembourg.

    • Program Committee Co-Chairs

  • Yang Liu, Nanyang Technological University, Singapore.
  • Jun Pang, University of Luxembourg, Luxembourg.

    • Program Commitee

  • Etienne Andre, Universite Paris 13, France.
  • Cyrille Artho, AIST, Japan.
  • Marieke Huisma, University of Twente, The Netherlands.
  • Weiqiang Kong, Kyushu University, Japan.
  • Keqin Li, SAP Research, France.
  • Yang Liu, Nanyang Technological University, Singapore.
  • Zhiming Liu, UNU/IIST Macao, China.
  • Sjouke Mauw, University of Luxembourg, Luxembourg.
  • Jun Pang, University of Luxembourg, Luxembourg.
  • Geguang Pu, East China Normal University, China.
  • Mohammad Torabi Dashti, ETH Zurich, Switzerland.
  • Anton Wijs, Eindhoven University of Technology, The Netherlands.
  • Yoriyuki Yamagata, AIST, Japan.