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