General Chair Gethin Norman, University of Glasgow, UK Program Co-chairs David Parker, University of Birmingham, UK Verena Wolf, Saarland University, DE Local Chair Oana Andrei, University of Glasgow, UK Publicity Chair Michele Sevegnani, University of Glasgow, UK Steering Committee Alessandro Abate, University of Oxford, UK Luca Bortolussi, University of Trieste, IT Javier Campos, Universidad Zaragoza ES Josée Desharnais, Université Laval, CA Jane Hillston, University of Edinburgh, UK * Joost-Pieter Katoen, RWTH Aachen Uni., DE Rupak Majumdar, Max Planck Institute for Software Systems, DE Andrea Marin, University of Venezia, IT Annabelle McIver, Macquarie University, AU Enrico Vicario, University of Florence, IT Katinka Wolter, FU Berlin, DE Lijun Zhang, Chinese Academy of Sciences, CH   * steering committee chair

Program Committee Alessandro Abate, University of Oxford, UK Ezio Bartocci, Technische Universität Wien, AT Luca Bortolussi, University of Trieste, IT Doina Bucur, University of Twente, NL Milan Ceska, Brno University of Technology, CZ Krishnendu Chatterjee, IST Austria, AT Pedro D'Argenio, Universidad Nacional de Córdoba, AR Yuxin Deng, East China Normal University, CN Susanna Donatelli, Università degli Studi di Torino , IT Lu Feng, University of Virginia, US Jean-Michel Fourneau, Université de Versailles Saint Quentin, FR Martin Fränzle, University of Oldenburg, DE Marco Gribaudo, University of Turin, IT Arnd Hartmanns, University of Twente, NL Nils Jansen, Radboud University Nijmegen, NL Benjamin Katinski, RWTH Aachen University, DE Rupak Majumdar, Max Planck Institute for Software Systems, DE Radu Mardare, Aalborg University, DK Andrea Marin, University of Venezia, IT Marco Paolieri, University of Southern California, US Dave Parker, University of Birmingham, UK Pavithra Prabhakar, Kansas State University, US Anne Remke, Westfälische Wilhelms-Universität, DE Kristin Y. Rozier, Iowa State University, US Guido Sanguinetti, University of Edinburgh, UK Michele Sevegnani, University of Glasgow, UK Markus Siegle, Bundeswehr University Munich, DE Jeremy Sproston, University of Turin, IT Miklós Telek, Technical University of Budapest, HU Mirco Tribastone, IMT School for Advanced Studies Lucca, IT Benny Van Houdt, University of Antwerp, BE Verena Wolf, Saarland University, DE Lijun Zhang, Chinese Academy of Sciences, CN