General Chair Huimin Lin, Chinese Academy of Sciences, PRC Program Co-chairs Andras Horvath, University of Turin, IT Annabelle McIver, Macquarie University, AUS Publicity Chairs Marco Biagi, University of Florence, IT Jianwen Xiang, Wuhan Uni. of Technology, PRC Steering Committee Alessandro Abate, University of Oxford, UK Luca Bortolussi, University of Trieste, IT Javier Campos, Universidad Zaragoza ES Pedro D'Argenio, Uni. Nacional de Cordoba, AR Josee Desharnais, Universite LAVAL, ES Jane Hillston, University of Edinburgh, UK * András Horváth, University of Torino, IT Joost-Pieter Katoen, RWTH Aachen Uni., DE Andrea Marin, University of Venezia, IT Gethin Norman, University of Glasgow, UK Enrico Vicario, University of Florence, IT Katinka Wolter, FU Berlin, DE   * steering committee chair

Program Committee Alessandro Abate, University of Oxford, UK Erika Abraham, RWTH Aachen University, DE Gul Agha, University of Illinois, USA Nail Akar, Bilkent University, TR Mario S. Alvim, Uni. Fed. de Minas Gerais, BRA Varsha Apte, IIT Bombay, IN Ezio Bartocci, TU Wien, AT Sergiy Bogomolov, IST Austria, AT Tomáš Brázdil, Masaryk University, CZ Giuliano Casale, Imperial Coll. London, UK Aleksandar Chakarov, Phase Change Software LLC, USA Yuxin Deng, East China Normal University, PRC Yuan Feng, Uni. of Technology Sydney, AUS András Horváth, University of Torino, IT Kausthub Joshi, AT&T Labs, USA Benjamin Kaminski, RWTH Aachen University, DE William Knottenbelt, Imperial Coll. London, UK Jan Křetínský, TU Munich, DE Fumio Machida, NEC Japan, JP Daniele Manini, University of Torino, IT Andrea Marin, University of Venezia, IT Annabelle McIver, Macquarie University, AUS Gethin Norman, University of Glasgow, UK Pavithra Prabhakar, Kansas State Uni., USA Tahiry Rabehaja, Macquarie University, AUS Guido Sanguinetti, University of Edinburgh, UK Marielle Stoelinga, University of Twente, NL Miklós Telek, Technical Uni. of Budapest, HU P.S. Thiagarajan, Harvard University, USA Benny Van Houdt, University of Antwerp, BE Enrico Vicario, University of Florence, IT Carey Williamson, University of Calgary, CA Huaming Wu, Tianjin University, PRC Jianwen Xiang, Wuhan Uni. of Technology, PRC Naijun Zhan, Chinese Academy of Science, PRC Lijun Zhang, Chinese Academy of Science, PRC