Organisation 

Technical Program Committee Chairs

• Amir Goharshady, University of Oxford

• Christoph Haase, University of Oxford

Technical Program Committee

• S Akshay, IIT Bombay

• Guy Amir, Cornell University

• Jie An, ISCAS

• Luca Arnaboldi, University of Birmingham

• Martin Berger, University of Sussex

• Dariusz Biernacki, University of Wrocław

• Michael Blondin, Université de Sherbrooke

• Benedikt Bollig, ENS Paris-Saclay / CNRS

• Timothy Bourke, INRIA / ENS

• Qinxiang Cao, Shanghai Jiao Tong University

• Supratik Chakraborty, IIT Bombay

• Liqian Chen, National University of Defense Technology

• Guillaume Dupont, IRIT

• Pascal Fontaine, Université de Liège

• Hongfei Fu, Shanghai Jiao Tong University

• Luca Geatti, University of Udine

• Mirco Giacobbe, University of Birmingham

• R Govind, Uppsala University

• Ashutosh Gupta, IIT Bombay

• Hossein Hojjat, Tehran Institute for Advanced Studies

• Lukáš Holík, Brno University of Technology

• Minghao Liu, University of Oxford

• Andreas Lööw, Imperial College London

• Kaushik Mallik, IMDEA Software Institute

• Alessio Mansutti, IMDEA Software Institute

• Umang Mathur, National University of Singapore

• Harshit Motwani, MPI-SWS

• Muhammad Syifa'ul Mufid, Institut Teknologi Sepuluh Nopember

• Amy Nejati, Newcastle University

• Andreas Pavlogiannis, Aarhus University

• Guillermo Perez, University of Antwerp

• Basile Pesin, ENAC

• Rajarshi Roy, University of Oxford

• Andrew Ryzhikov, University of Warsaw

• Christian Schilling, Aalborg University

• Taro Sekiyama, National Institute of Informatics

• Mikhail Starchak, St Petersburg University

• Chenglin Wang, HKUST

• Guannan Wei, INRIA / ENS

• Georg Weissenbacher, TU Wien

• Nisansala Yatapanage, Australian National University

• Bohua Zhan, ISCAS

• Đorđe Žikelić, Singapore Management University

General Chair

• Naijun Zhan, Peking University

Publicity Chair

• Jonathan Bowen, Museophile / London South Bank University

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

Advisory Board

• Zhou Chaochen, Institute of Software, CAS

• He Jifeng, East China Normal University

• Cliff Jones, Newcastle University

• Deepak Kapur, University of New Mexico

• Li Wei, Beihang University