The 21st International Conference on Formal Engineering Methods

ICFEM 2019

November 5th-9th, 2019, Shenzhen, China

Conference Organising Committee

General Co-Chairs

  • Jifeng He, Shanghai Academy of Artificial Intelligence Industrial Technology, China
  • Zhong Ming, Shenzhen University, China

Program Co-Chairs

  • Yamine Ait-Ameur, INPT-ENSEEIHT, France
  • Shengchao Qin, University of Teesside, UK

Workshop Chair

  • Lijun Zhang, Chinese Academy of Sciences, China

Tutorial Chair

  • Jun Sun, Singapore University of Technology and Design, Singapore

Doctoral Symposium Co-Chairs

  • Xin Peng, Fudan University, China
  • Yi Li, Nanyang Technological University, Singapore

Finance Chair

  • Yang Liu, Nanyang Technological University, Singapore

Publicity Co-Chairs

  • Étienne André, Université Paris 13, France
  • Huibiao Zhu, East China Normal University, China

Local Organization Chair

  • Zhiwu Xu, Shenzhen University, China

Steering Committee

  • Keijiro Araki, Kyushu University, Japan
  • David Basin, ETH Zurich, Switzerland
  • Michael Butler, University of Southampton, UK
  • Jin Song Dong, Griffith University and NUS
  • Jifeng He, Shanghai Academy of Artificial Intelligence Industrial Technology, China
  • Mike Hinchey, University of Limerick, Ireland
  • Shaoying Liu, Hosei University, Japan
  • Kazuhiro Ogata, JAIST, Japan
  • Shengchao Qin, University of Teesside, UK

Program Committee

  • Bernhard K. Aichernig, TU Graz, Austria
  • Yamine Ait Ameur, IRIT/National Polytechnic Institute of Toulouse, France
  • Étienne André, Université Paris 13, France
  • Christian Attiogbe, Université de Nantes, France
  • Guangdong Bai, Griffith University, Australia
  • Christel Baier, TU Dresden, Germany
  • Richard Banach, The University of Manchester, United Kingdom
  • Luis Barbosa, University of Minho, Portugal
  • Michael Butler, University of Southampton, United Kingdom
  • Franck Cassez, Macquarie University, Australia
  • Ana Cavalcanti, University of York, United Kingdom
  • Zhenbang Chen, National University of Defense Technology, China
  • Yuting Chen, Shanghai Jiaotong University, China
  • Wei-Ngan Chin, National University of Singapore, Singapore
  • Sylvain Conchon, Université Paris-Sud, France
  • Florin Craciun, Babes-Bolyai University, Romania
  • Frank De Boer, Centrum Wiskunde & Informatica (CWI), Netherlands
  • Yuxin Deng, East China Normal University, China
  • Jin Song Dong, Griffith University and NUS, Australia
  • Zhenhua Duan, Xidian University, China
  • Marc Frappier, Université de Sherbrooke, Canada
  • Stefania Gnesi, ISTI-CNR, Italy​
  • Lindsay Groves, Victoria University of Wellington, New Zealand
  • Ichiro Hasuo, National Institute of Informatics, Japan
  • John Hatcliff, Kansas State University, United States
  • Xudong He, Florida International University, United States
  • Fuyki Ishikawa, National Institute of Informatics, Japan
  • Jie-Hong Roland Jiang, National Taiwan University, Taiwan
  • Fabrice Kordon, LIP6/Sorbonne Université & CNRS, France
  • Mark Lawford, McMaster University, Canada
  • Michael Leuschel, University of Dusseldorf, Germany
  • Yuan-Fang Li, Monash University, Australia
  • Yi Li, Nanyang Technological University, Singapore
  • Xuandong Li, Nanjing University, China
  • Yang Liu, Nanyang Technological University, Singapore
  • Zhiming Liu, Southwest University, China
  • Shuang Liu, Tianjin University, China
  • Brendan Mahony, Defence Science and Technology, Australia
  • Jim McCarthy, Defence Science and Technology, Australia
  • Dominique Méry, Loria & Université de Lorraine, France
  • Stephan Merz, Inria Nancy, France
  • Mohammad Reza Mousavi, University of Leicester, United Kingdom
  • Cesar Munoz, NASA Langley Research Center, USA
  • Shin Nakajima, National Institute of Informatics, Japan
  • Peter olveczky, University of Oslo, Norway
  • Jun Pang, University of Luxembourg, Luxembourg
  • Yu Pei, The Hong Kong Polytechnic University, China
  • Xin Peng, Fudan University, China
  • Geguang Pu, East China Normal University, China
  • Shengchao Qin, Teesside University, United Kingdom
  • Silvio Ranise, FBK-Irst, Italy​
  • Elvinia Riccobene, University of Milan, Italy
  • Adrian Riesco, Universidad Complutense de Madrid, Spain
  • Klaus-Dieter Schewe, Zhejiang University-UIUC Institute (ZJUI), China
  • Jing Sun, The University of Auckland, New Zealand
  • Meng Sun, Peking University, China
  • Jun Sun, Singapore University of Technology and Design, Singapore
  • Cong Tian, Xidian University, China
  • Elena Troubitsyna, KTH, Sweden
  • Jaco van de Pol, University of Twente, Netherlands
  • Hai H. Wang, University of Aston, United Kingdom
  • Virginie Wiels, The French aerospace Research lab ONERA, France
  • Zhiwu Xu, Shenzhen University, China
  • Naijun Zhan, Institute of Software, Chinese Academy of Sciences, China
  • Jian Zhang, Institute of Software, Chinese Academy of Sciences, China
  • Huibiao Zhu, East China Normal University, China