Yuxi Fu, Shanghai Jiaotong University

Jun Sun, Singapore University of Technology and Design

Joost-Pieter Katoen, RWTH Aachen University and University of Twente

Nan Guan, The Hong Kong Polytechnic University

Yu Pei, The Hong Kong Polytechnic University

Tom van Dijk, University of Twente

Étienne André, Université Paris 13

Mohamed Faouzi Atig, Uppsala University

Ezio Bartocci, Vienna University of Technology

Sanjoy Baruah, Washington University in St. Louis

Yan Cai, Chinese Academy of Sciences

Milan Ceska, Brno University of Technology

Sudipta Chattopadhyay, Singapore University of Technology and Design

Mingsong Chen, East China Normal University

Taolue Chen, Birkbeck, University of London

Yu-Fang Chen, Academia Sinica

Alessandro Cimatti, FBK-irst

Tingting Han, Birkbeck, University of London

Arnd Hartmanns, University of Twente

Nils Jansen, Radboud University

Ran Ji, Carnegie Mellon University

Yu Jiang, Tsinghua University

Lei Ju, Shandong University

Guoqiang Li, Shanghai Jiao Tong University

Di Liu, Yunnan University

Shuang Liu, Singapore Institute of Technology

Federico Olmedo, University of Chile

Yu Pei, The Hong Kong Polytechnic University

Jaco van de Pol, Aarhus University

Mickael Randour, FNRS & Université de Mons

Anne Remke, WWU Münster

Philipp Ruemmer, Uppsala University

Fu Song, ShanghaiTech University

Jeremy Sproston, University of Turin

Cong Tian, Xidian University

Tarmo Uustalu, Reykjavik University

Bow-Yaw Wang, Academia Sinica

Ji Wang, National University of Defense Technology

Xue-Yang Zhu, Chinese Academy of Sciences