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