General Chair Ezio Bartocci (TU Vienna, AT) Program Co-chairs Marco Gribaudo (Politecnico di Milano, IT) David N. Jansen (Chinese Academy of Sci., CN) Anne Remke (University of Münster, DE) Publicity Chair Carlos E. Budde (University of Twente, NL) Steering Committee Alessandro Abate (University of Oxford, UK) Luca Bortolussi (University of Trieste, IT) Javier Campos (Universidad Zaragoza, ES) Jane Hillston (University of Edinburgh, UK) Joost-Pieter Katoen (RWTH Aachen Uni., DE) Rupak Majumdar (MPI for Software Sys., DE) Annabelle McIver (Macquarie University, AU) Gethin Norman (University of Glasgow, UK) Anne Remke (University of Münster, DE) Enrico Vicario * (University of Florence, IT) Katinka Wolter (FU Berlin, DE) Lijun Zhang (Chinese Academy of Sciences, CN)   * steering committee chair

Program Committee Alessandro Abate (University of Oxford, UK) Simona Bernardi (University of Zaragoza, ES) Peter Buchholz (TU Dortmund, DE) Carlos E. Budde (University of Twente, NL) Davide Cerotti (Politecnico di Milano, IT) Florin Ciucu (University of Warwick, UK) Pedro D'Argenio (National University of Córdoba, AR) Yuxin Deng (East China Normal University, CN) Marco Gribaudo (Politecnico di Milano, IT) Arnd Hartmanns (University of Twente, NL) András Horváth (University of Torino, IT) David N. Jansen (Chinese Academy of Sciences, CN) William Knottenbelt (Imperial College London, UK) Jan Křetínský (Technical University of Munich, DE) Andrea Marin (University of Venezia, IT) Andrew S. Miner (Iowa State University, US) Laura Nenzi (University of Trieste, IT) Gethin Norman (University of Glasgow, UK) Marco Paolieri (University of Southern California, US) David Parker (University of Birmingham, UK) Tuan Phung-Duc (University of Tsukuba, JP) Riccardo Pinciroli (College of William and Mary, US) Pavithra Prabhakar (Kansas State University, US) Daniël Reijsbergen (Singapore University of Technology and Design, SG) Anne Remke (University of Münster, DE) Markus Siegle (Bundeswehr University Munich, DE) Meng Sun (Peking University, CN) Mirco Tribastone (IMT Lucca, IT) Benny Van Houdt (University of Antwerp, BE) Andrea Vandin (Sant'Anna School of Advanced Studies, IT) Verena Wolf (Saarland University, DE) Katinka Wolter (FU Berlin, DE)

---