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
Scroll Up