Organisation

Technical Program Committee 

Amir Goharshady, University of Oxford

Andrey Rivkin, Technical University of Denmark

Anna Kalenkova, University of Adelaide

Ashutosh Gupta, IIT Bombay 

Basile Pesin, École Nationale de l'Aviation Civile

Benedikt Bollig, CNRS

Bohua Zhan, Huawei Technologies Co., Ltd.

Chao Huang, University of Southampton

Christian Schilling, Aalborg University

Cong Tian, Xidian University

Djordje Zikelic, Singapore Management University

Georg Weissenbacher, TU Wien

Guangdong Bai, City University of Hong Kong

Guillaume Dupont, Université de Toulouse

Harshit Motwani, TU Wien

Hongfei Fu, Shanghai Jiao Tong University

Hossein Hojjat, Tehran Institute for Advanced Studies

Jeremy Sproston, University of Turin

Jie An, Chinese Academy of Sciences

Liqian Chen, National University of Defense Technology

Luca Geatti, University of Udine

Lukáš Holík, Brno University of Technology

Martin Berger, University of Sussex

Meng Sun, Peking University

Mikhail Starchak, St Petersburg University

Minghao Liu, University of Oxford

Muhammad Syifa'ul-Mufid, Institut Teknologi Sepuluh Nopember

Nisansala Yatapanage, Australian National University 

Peixin Zhang, Singapore Management University

Pengfei Yang, Chinese Academy of Sciences

Qingkai Shi, Nanjing University

R Govind, The Institute of Mathematical Sciences

Rajarshi Roy, University of Liverpool

Ruihan Zhang, Singapore Management University

Tali Sznajder, Sorbonne Université

Taro Sekiyama, National Institute of Informatics

Teofil Sidoruk, Polish Academy of Sciences

Timothy Bourke, Inria

Ting Su, East China Normal University

Umang Mathur, National University of Singapore

Xiyue Zhang, University of Bristol

Yongwang Zhao, Zhejiang University

Zhenbang Chen, National University of Defense Technology

Publicity Chairs 

Jialun Cao, Hong Kong University of Science and Technology

Tali Sznajder, Sorbonne Université

Steering Committee 

Zhenhua Duan, Xidian University

Martin Fränzle, University of Oldenburg

Kim Larsen, Aalborg University

Xuandong Li, Nanjing University

Zhiming Liu, Southwest University

Sriram Rajamani, Microsoft Research

Ji Wang, NUDT

Kwangkeun Yi, Seoul National University

Naijun Zhan, Peking University