Program Chairs

Maria Alpuente Image:Flag of Spain.svg (Technical University of Valencia, Spain)
Byron Cook Image:Flag of the United Kingdom.svg (Microsoft Research, UK)

Program Commitee Members

Hassan Ait-Kaci Image:Flag of Canada.svg (Ilog, Canada)
Maria Alpuente Image:Flag of Spain.svg (Technical University of Valencia, Spain) - co-chair
Thomas Arts Image:Flag of Sweden.svg (IT-Universitetet i Göteborg, Sweden)
Demis Ballis Image:Flag of Italy.svg (Università degli Studi di Udine, Italy)
Josh Berdine Image:Flag of the United Kingdom.svg (Microsoft Research, UK)
Lubos Brim Image:Flag of the Czech Republic.svg (Masarykova Univerzita, Czech Republic)
Darren Cofer Image:Flag of the United States.svg (Rockwell Collins, USA)
Byron Cook Image:Flag of the United Kingdom.svg (Microsoft Research, UK) - co-chair
Patrick Cousot Image:Flag of France.svg (Ecole Normale Supérieure, France)
Santiago Escobar Image:Flag of Spain.svg (Technical University of Valencia, Spain)
Azadeh Farzan Image:Flag of Canada.svg (University of Toronto, Canada)
Hubert Garavel Image:Flag of France.svg (INRIA Rhône-Alpes, France)
Stefania Gnesi Image:Flag of Italy.svg (ISTI-CNR, Italy)
Alexey Gotsman Image:Flag of the United Kingdom.svg (University of Cambridge, UK)
Holger Hermanns Image:Flag of Germany.svg (Universität des Saarlandes, Germany)
Christophe Joubert Image:Flag of Spain.svg (Technical University of Valencia, Spain) - workshop chair
Daniel Kroening Image:Flag of Switzerland.svg (ETH Zürich, Switzerland)
Michael Leuschel Image:Flag of Germany.svg (Heinrich-Heine-Universität Düsseldorf, Germany)
Pedro Merino Image:Flag of Spain.svg (Universidad de Málaga, Spain)
Juan José Moreno-Navarro Image:Flag of Spain.svg (Universidad Politécnica de Madrid, Spain)
Corina Pasareanu Image:Flag of the United States.svg (NASA Ames Research Center, USA)
Jaco van de Pol Image:Flag of the Netherlands.svg (Universiteit Twente, The Netherlands)
Murali Rangarajan Image:Flag of the United States.svg (Honeywell, USA)
Jakob Rehof Image:Flag of Germany.svg (Technische Universität Dortmund, Germany)
Andrey Rybalchenko Image:Flag of Germany.svg (Max-Planck-Gesellschaft, Germany)
Marcel Verhoef Image:Flag of the Netherlands.svg (Chess, The Netherlands)
Martin Wirsing Image:Flag of Germany.svg (Ludwig-Maximilians-Universität München, Germany)
Hongseok Yang Image:Flag of the United Kingdom.svg (Queen Mary, University of London, UK)
Greta Yorsh Image:Flag of the United States.svg (IBM T.J. Watson Research Center, USA)

Invited speakers

Dino Distefano Image:Flag of the United Kingdom.svg (Queen Mary, University of London, UK)
Diego Latella Image:Flag of Italy.svg (ISTI-CNR, Italy)
Thierry Lecomte Image:Flag of France.svg (ClearSy, France)
Ken McMillan Image:Flag of the United States.svg (Cadence, USA)

ERCIM FMICS WG Coordinator

Alessandro Fantechi Image:Flag of Italy.svg (Università degli Studi di Firenze and ISTI-CNR, Italy)

Organization Chairs

Christophe Joubert Image:Flag of Spain.svg (Technical University of Valencia, Spain) - workshop chair
Erik de Vink Image:Flag of the Netherlands.svg (TU Eindhoven, The Netherlands) - FMWeek coordinator
Tijn Borghuis Image:Flag of the Netherlands.svg (TU Eindhoven, The Netherlands) - FMWeek coordinator

Organization Commitee Members

Raúl Gutiérrez Image:Flag of Spain.svg (Technical University of Valencia, Spain)
Sponsored by:
UPV Ercim FME MSR
Supported by:
DSIC EASST TUE
Published by:
Springer LNCS