General Chair Katinka Wolter (FU Berlin, Germany) Program Co-chairs Nathalie Bertrand (INRIA Rennes Bretagne-Atlantique, France) Luca Bortolussi (University of Trieste, Italy) Local Organization Chair Katinka Wolter (FU Berlin, Germany) Steering Committee Alessandro Abate (UK) Javier Campos (ES) Pedro D'Argenio (AR) Jane Hillston (UK) * András Horváth (IT) Joost-Pieter Katoen (DE) William Knottenbelt (UK) Andrea Marin (IT) Gethin Norman (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, USA Nail Akar, Bilkent University, TR Varsha Apte, IIT Bombay, IN Ezio Bartocci, TU Wien, AT Tomáš Brázdil, Masaryk University, CZ Ana Bušic, INRIA Paris, FR Giuliano Casale, Imperial College London, UK Florin Ciucu, University of Warwick, UK Andres Ferragut, Universidad ORT, UR Antonio Filieri, Imperial College London, UK Jane Hillston, University of Edinburgh, UK András Horváth, University of Torino, IT Kausthub Joshi, AT&T Labs, USA William Knottenbelt, Imperial College London, UK Jan Křetínský, TU Munich, DE Boris Köpf, IMDEA Software Institute, ES Fumio Machida, NEC Japan, JP Paulo Maciel, Universidade Federal de Pernambuco, BRA Andrea Marin, University of Venezia, IT Annabelle McIver, Macquarie University, AUS Sasa Misailovic, University of Illinois at Urbana-Champaign, USA Sayan Mitra, University of Illinois at Urbana-Champaign, USA Gethin Norman, University of Glasgow, UK Pavithra Prabhakar, Kansas State University, USA Guido Sanguinetti, University of Edinburgh, UK Miklós Telek, Technical University of Budapest, HU Benny Van Houdt, University of Antwerp, BE Enrico Vicario, University of Florence, IT Carey Williamson, University of Calgary, CA Huaming Wu, Tianjin University, PRC Lijun Zhang, Chinese Academy of Science, PRC