Organizing Committees
PC Co-Chairs: | Yu-Fang Chen, Academia Sinica Chih-Hong Cheng, DENSO AUTOMOTIVE Deutschland GmbH Javier Esparza, TU Munich |
Artifact Evaluation Chair | Ondřej Lengál, Brno University of Technology |
Local Arrangement Chair: | Ming-Hsien Tsai, Academia Sinica |
Program Committee
- Erika Abraham, RWTH Aachen University
- Mohamed Faouzi Atig, Uppsala University
- Christel Baier, TU Dresden
- Saddek Bensalem, VERIMAG
- Udi Boker, Interdisciplinary Center (IDC) Herzliya
- Luca Bortolussi, University of Trieste
- Franck Cassez, Macquarie University
- Krishnendu Chatterjee, Institute of Science and Technology (IST)
- Yu-Fang Chen, Academia Sinica
- Chih-Hong Cheng, DENSO AUTOMOTIVE Deutschland GmbH
- Alessandro Cimatti, FBK-irst
- Loris D’Antoni, University of Wisconsin-Madison
- Alexandre Duret-Lutz, LRDE/EPITA
- Javier Esparza, Technical University of Munich
- Bernd Finkbeiner, Saarland University
- Pierre Ganty, IMDEA Software Institute
- Keijo Heljanko, University of Helsinki
- Stefan Katzenbeisser, TU Darmstadt
- Siau-Cheng Khoo, National University of Singapore
- Orna Kupferman, Hebrew University
- Ondrej Lengal, Brno University of Technology
- Shang-Wei Lin, Nanyang Technological University
- Anthony Widjaja Lin, University of Oxford
- Hakjoo Oh, Korea University
- Doron Peled, Bar Ilan University
- Pavithra Prabhakar, Kansas State University
- Indranil Saha, University of California, Los Angeles
- Sven Schewe, University of Liverpool
- Jun Sun, Singapore University of Technology and Design
- Michael Tautschnig, Queen Mary University of London
- Tachio Terauchi, Waseda University
- Ashish Tiwari, Microsoft
- Bow-Yaw Wang, Academia Sinica
- Farn Wang, National Taiwan University
- Chao Wang, University of Southern California
- Zhilin Wu, Institute of Software, Chinese Academy of Sciences
- Lijun Zhang, Institute of Software, Chinese Academy of Sciences
Artifact Evaluation Committee
- František Blahoudek, Université de Mons
- Alexandre Duret-Lutz, EPITA
- Vojtěch Havlena, Brno University of Technology
- Jinlong He, Chinese Academy of Sciences
- Jesko Hecking-Harbusch, Saarland University
- Sebastian Junges, Aachen University
- Jens Katelaan, TU Wien
- Magnus Lång, Uppsala University
- Thomas Lemberger, LMU Munich
- Juraj Major, Masaryk University
- Tobias Meggendorfer, TU Munich
- Bui Phi Diep, Uppsala University
- David Sanán, Nanyang Technological University
- Tobias Seufert, Universitaet Freiburg
- Salomon Sickert, TU Munich
- Antti Siirtola, University of Oulu
- Leander Tentrup, Saarland University
- Pedro Valero, IMDEA
- Tom van Dijk, University of Twente
- Sebastian Wolff, TU Braunschweig
Steering Commmittee
- E Allen Emerson, University of Texas, Austin
- Teruo Higashino, Osaka University
- Oscar H Ibarra, University of California, Santa Barbara
- Insup Lee, University of Pennsylvania
- Doron A Peled, Bar Ilan University
- Farn Wang, National Taiwan University
- Hsu-Chun Yen, National Taiwan University