Conference Organizing Committee



General Chair

  • Shaoying Liu, Hosei University, Japan

Program Chairs

  • Zhenhua Duan, Xidian University, China
  • Luke Ong, Oxford University, UK

Organization Chair

  • Cong Tian, Xidian University, China

Workshop Chair

  • Liang Zhao, Xidian University, China,lzhao@xidian.edu.cn

Steering committee

  • Keijiro Araki, Kyushu University, Japan
  • Michael Butler, University of Southampton, UK
  • Jin Song Dong, National University of Singapore [Chair]
  • Jifeng He, East China Normal University, China
  • Mike Hinchey, University of Limerick, Ireland
  • Shaoying Liu, Hosei University, Japan
  • Shengchao Qin, University of Teesside, UK

Program Committee

  • Bernhard K. Aichernig, TU Graz, Austria
  • Étienne André, University of Paris 13, France
  • Christian Attiogbe, University of Nantes, France
  • Richard Banach, University of Manchester,UK
  • JEzio Bartocci, TU Wien, Austria
  • Ana Cavalcanti, University of York, UK
  • Yuting Chen, Shanghai Jiao Tong University, China
  • Sylvain Conchon, Universite Paris-Sud, France
  • Frank De Boer, CWI, Netherlands
  • Jinsong Dong, National University of Singapore, Singapore
  • Zhenhua Duan, Xidian University, China
  • Carlo Ghezzi, Politecnico di Milano, Italy
  • Jeremy Gibbons, University of Oxford, UK
  • Stefania Gnesi, ISTI-CNR, Italy
  • Lindsay Groves, Victoria University of Wellington, New Zealand
  • Ian J. Hayes, University of Queensland, Australia
  • Alexei Iliasov, Newcastle University, UK
  • Weiqiang Kong, Dalian University of Technology, China
  • Fabrice Kordon, LIP6/UPMC, France
  • Daniel Kroening, University of Oxford, UK
  • Guoqiang Li, Shanghai Jiao Tong University, China
  • Yuto Lim, JAIST, Japan
  • Yang Liu, Nanyang Technological University, Singapore
  • Shaoying Liu, Hosei University, Japan
  • Larissa Meinicke, University of Queensland, Australia
  • Stephan Merz, Inria Nancy, France
  • Huaikou Miao, Shanghai University, China
  • Mohammadreza Mousavi, Halmstad University, Sweden
  • Shin Nakajima, National Institute of Informatics, Japan
  • Luke Ong, University of Oxford, UK
  • Jun Pang, University of Luxembourg, Luxemburg
  • Jan Peleska, University of Bremen, Germany
  • Ion Petre, Åbo Akademi University, Finland
  • Mauro Pezzè, University of Lugano, Sweden
  • Shengchao Qin, Teesside University, UK
  • Silvio Ranise, FBK-Irst, Italy
  • Adrian Riesco, Universidad Complutense de Madrid, Spain
  • Jing Sun, The University of Auckland, New Zealand
  • Cong Tian, Xidian University, China
  • Jaco van de Pol, University of Twente, Netherlands
  • Xi Wang, Shanghai University, China
  • Alan Wassyng, McMaster University, Canada
  • Thomas Wahl, Northeastern University, USA
  • Zijiang Yang, Western Michigan University, USA
  • Jian Zhang, Chinese Academy of Sciences, China
  • Hong Zhu, Oxford Brookes University, UK
  • Huibiao Zhu, East China Normal University, China