banner
qest logo
Chairs and Committees

General Chair
David de Frutos-Escrig (ES)

Program Co-chairs
Javier Campos (ES)
Boudewijn Haverkort (NL)

Local Organization Chair
Ismael Rodríguez (ES)

Publicity and Publications Chair
Ismael Rodríguez (ES)

Steering Committee
Alessandro Abate (UK)
Nathalie Bertrand (FR)
Luca Bortolussi (IT)
Pedro R. D'Argenio (AR)
Holger Hermanns (DE)
Jane Hillston (UK)
Joost-Pieter Katoen (DE) *
Peter Kemper (US)
William Knottenbelt (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, US
Simona Bernardi, Centro Universitario de la Defensa, ES
Nathalie Bertrand, INRIA Rennes, FR
Luca Bortolussi, University of Trieste, IT
Javier Campos, University of Zaragoza, ES
Josée Desharnais, Laval University, CA
Paulo Fernandes, PUCRS, BR
Martin Fränzle, University of Oldenburg, DE
Boudewijn Haverkort, University of Twente, NL
Jane Hillston, University of Edinburgh, UK
Mohamed Kaâniche, LAAS-CNRS, FR
William Knottenbelt, Imperial College London, UK
Boris Köpf, IMDEA Software Institute, ES
Jan Krcál, Saarland University, DE
Annabelle McIver, Macquarie University, AU
Jan Madsen, Technical University of Denmark, DK
Raffaela Mirandola, Politecnico di Milano, IT
Sayan Mitra, University of Illinois, US
Gethin Norman, University of Glasgow, UK
Catuscia Palamidessi, INRIA Saclay and LIX, FR
David Parker, University of Birmingham, UK
Anne Remke, University of Muenster, DE
Eric Rozier, University of Cincinnati, US
Gerardo Rubino, INRIA Rennes, FR
Markus Siegle, Bundeswehr München University, DE
Evgenia Smirni, College of William and Mary, US
Jeremy Sproston, University of Turin, IT
Miklós Telek, Technical University of Budapest, HU
Mirco Tribastone, University of Southampton, UK
Valentín Valero, University of Castilla-La Mancha, ES
Benny Van Houdt, University of Antwerp, BE
Enrico Vicario, University of Florence, IT
Lijun Zhang, ISCAS Beijing, CN

News
Dec 2014
Website online


Organized by
Universidad Complutense de Madrid

Contact

Publisher