Committees

Program Chairs
  • María del Mar Gallardo, University of Málaga, Spain  (gallardo@lcc.uma.es)
  • Pedro Merino, University of Málaga, Spain (pedro@lcc.uma.es)
Program Committee
  • María Alpuente, Technical University of Valencia, Spain
  • Dragan Bosnacki, Eindhoven University of Technology, Netherlands
  • Rance Cleaveland, University of Maryland, USA
  • Stefan Edelkamp, King’s College London, UK
  • Hakan Erdogmus, Carnegie Mellon, USA
  • Stefania Gnesi, CNR, Italy
  • Patrice Godefroid, Microsoft Research, USA
  • Klaus Havelund,  NASA/Caltech Jet Propulsion Laboratory, USA
  • Gerard Holzmann, Nimble Research, USA
  • Radu Iosif, Verimag, France
  • Frédéric Lang, INRIA, France
  • Kim Larsen, Aalborg University, Denmark
  • Stefan Leue, University of Konstanz, Germany
  • Alberto Lluch Lafuente, Technical University of Denmark, Denmark
  • Irina Mariuca Asavoae, INRIA, France
  • Alice Miller, University of Glasgow, UK
  • Corina Pasareanu, CMU/NASA Ames, USA
  • Doron Peled, Bar Ilan University, Israel
  • Charles Pecheur, Université catholique de Louvain, Belgium
  • Neha Rungta, Amazon Web Services, USA
  • Antti Valmari, University of Jyväskylä, Finland
  • Jaco Van de Pol, University of Twente, Enschede, Netherlands
  • Willem Visser, Stellenbosch University, South Africa
  • Farn Wang, National Taiwan University, Taiwan
Steering Committee
  • Dragan Bosnacki, Eindhoven University of Technology, Netherlands (chair)
  • Susanne Graf, Verimag, France
  • Gerard Holzmann, Nimble Research, USA
  • Stefan Leue, University of Konstanz, Germany
  • Neha Rungta, Amazon Web Services, USA
  • Jaco Van de Pol, University of Twente, Enschede, Netherlands
  • Willem Visser, Stellenbosch University, South Africa
Organizing Committee
  • Carlos Canal, University of Málaga, Spain
  • María del Mar Gallardo, University of Málaga, Spain
  • Pedro Merino, University of Málaga, Spain
  • Laura Panizo, University of Málaga, Spain