General Chair David de Frutos-Escrig (ES) Program Co-chairs Javier Campos (ES) Boudewijn Haverkort (NL) Local Organization Chair Ismael Rodríguez (ES) Publicity and Publications Chair Ismael Rodríguez (ES) Steering Committee Alessandro Abate (UK) Nathalie Bertrand (FR) Luca Bortolussi (IT) Pedro R. D'Argenio (AR) Holger Hermanns (DE) Jane Hillston (UK) Joost-Pieter Katoen (DE) * Peter Kemper (US) William Knottenbelt (UK) Anne Remke (DE) Enrico Vicario (IT)   * steering committee chair

Program Committee Alessandro Abate, University of Oxford, UK Erika Abraham, RWTH Aachen University, DE Gul Agha, University of Illinois, US Simona Bernardi, Centro Universitario de la Defensa, ES Nathalie Bertrand, INRIA Rennes, FR Luca Bortolussi, University of Trieste, IT Javier Campos, University of Zaragoza, ES Josée Desharnais, Laval University, CA Paulo Fernandes, PUCRS, BR Martin Fränzle, University of Oldenburg, DE Boudewijn Haverkort, University of Twente, NL Jane Hillston, University of Edinburgh, UK Mohamed Kaâniche, LAAS-CNRS, FR William Knottenbelt, Imperial College London, UK Boris Köpf, IMDEA Software Institute, ES Jan Krcál, Saarland University, DE Annabelle McIver, Macquarie University, AU Jan Madsen, Technical University of Denmark, DK Raffaela Mirandola, Politecnico di Milano, IT Sayan Mitra, University of Illinois, US Gethin Norman, University of Glasgow, UK Catuscia Palamidessi, INRIA Saclay and LIX, FR David Parker, University of Birmingham, UK Anne Remke, University of Muenster, DE Eric Rozier, University of Cincinnati, US Gerardo Rubino, INRIA Rennes, FR Markus Siegle, Bundeswehr München University, DE Evgenia Smirni, College of William and Mary, US Jeremy Sproston, University of Turin, IT Miklós Telek, Technical University of Budapest, HU Mirco Tribastone, University of Southampton, UK Valentín Valero, University of Castilla-La Mancha, ES Benny Van Houdt, University of Antwerp, BE Enrico Vicario, University of Florence, IT Lijun Zhang, ISCAS Beijing, CN