Committees

General Chair

George A. Papadopoulos, University of Cyprus, Cyprus

Program Chairs 

Philipp Rümmer, University of Regensburg, Germany

Zhilin Wu, Institute of Software, Chinese Academy of Sciences, China

Publicity Chair

QinXiang Cao, Shanghai Jiaotong University, China

Program Committee

Jie An, Institute of Software, Chinese Academy of Sciences, China
Peter Backeman, Mälardalen University, Sweden
Guangdong Bai, The University of Queensland, Australia
Nikolaj Bjørner, Microsoft, USA
Marcello Bonsangue, Leiden University, Neitherlands
Julie Cailler, Loria University of Lorraine, France
Mingshuai Chen, Zhejiang University, China
Lucas Cordeiro, The University of Manchester, UK
Mohammed Erradi, ENSIAS Rabat, Morocco
Grigory Fedyukovich, Florida State University, USA
Marc Frappier, Université de Sherbrooke, Canada
Hongfei Fu, Shanghai Jiao Tong University, China
Zoltán Horváth, Eotvos Lorand University, Budapest, Hungary
Zhe Hou, School of Information and Communication Technology (ICT), Griffith Univerity, Australia
Andreas Katis, KBR Inc. at NASA Ames Research Center, USA
Jyun-Ao Lin, National Taipei University of Technology, Taiwan, China
Wanwei Liu, School of Computer Science, National University of Defense Technology, China
Shaoying Liu, Hiroshima University, Japan
Eric Mercer, Brigham Young University, USA
Dominique Mery, Loria Université de Lorraine, France
Mizuhito Ogawa, Japan Advanced Institute of Science and Technology, Japan
Jun Pang, University of Luxembourg, Luxembourg
Andrei Paskevich, Université Paris-Sud, LRI, France
Anna Philippou, University of Cyprus, Cyprus
Kristin Yvonne Rozier, Iowa State University, USA
Daniel Stan, LRDE, Epita Paris, France
Jun Sun, Singapore Management University, Singapore
Ramanathan Thinniyam Srinivasan, Uppsala University, Sweden
Aaron Tomb, Amazon Web Services, USA
Zhiwu Xu, Shenzhen University, China
Zhenya Zhang, Kyushu University, Japan
Yedi Zhang, National University of Singapore, Singapore