Organization

Program Chairs

  • Yliès Falcone, Univ. Grenoble Alpes, Inria, Grenoble, France
  • Leonardo Mariani, University of Milano Bicocca, Milano, Italy

Program Committee

  • Marcelo d’Amorim, Universidade Federal de Pernambuco, Brazil
  • Sébastien Bardin, CEA, France
  • Ezio Bartocci, TU Vienna, Austria
  • Benoit Baudry, KTH, Stockholm, Sweden
  • Domenico Bianculli, University of Luxembourg, Luxembourg
  • Walter Binder, University of Lugano, Switzerland
  • Marius Bozga, CNRS, France
  • Ana Rosa Cavalli, Telecom Sud Paris, France
  • Radu Calinescu, University of York, UK
  • Giovanni Denaro, University of Milano Bicocca, Milano, Italy
  • Yliès Falcone, Univ. Grenoble Alpes, Inria, France
  • Maria del Mar Gallardo,  University of Malaga, Spain
  • Jaco Geldenhuys, University of Stellenbosch, South Africa
  • Milos Gligoric, University of Texas, USA
  • Sylvain Hallé, Université du Québec à Chicoutimi, Canada
  • Klaus Havelund, NASA JPL, USA
  • Ralf Huuck, The University of New South Wales, Australia
  • Thierry Jéron, Inria, France
  • Nikolai Kosmatov, CEA, France
  • Yves Le Traon, University of Luxembourg, Luxembourg
  • Martin Leucker, University of Lubeck, Germany
  • Stefan Leue, University of Konstanz, Germany
  • Leonardo Mariani, University of Milano Bicocca, Italy
  • Mercedes Merayo, Universidad Complutense de Madrid, Spain
  • Shin Nakajima, NII, Japan
  • Brian Nielsen, Aalborg University, Denmark
  • Peter Olveczky,  University of Oslo, Norway
  • Jun Pang, University of Luxembourg, Luxembourg
  • Mike Papadakis, University of Luxembourg, Luxembourg
  • Filippo Ricca, Università di Genova, Italy
  • Antoine Rollet, Bordeaux INP, LaBRI, France
  • Gwen Salaün, Univ. Grenoble Alpes, Inria, France
  • Julien Signoles, CEA, France
  • Marjan Sirjani, Malardalen University, Sweden
  • Helene Waeselynck, LAAS-CNRS, France
  • Neil Walkinshaw, University of Leicester, UK
  • Michael Whalen, University of Minnesota, USA
  • Anton Wijs, Technische Universiteit Eindhoven, Netherlands
  • Rongxin Wu, Hong Kong University of Science and Technology, Hong Kong
  • Nina Yevtushenko, Tomsk State University, Russia
  • Cemal Yilmaz, Sabanci University, Turkey
  • Gianluigi Zavattaro, University of Bologne, Italy