Program Committee

Erika Abraham RWTH Aachen University, Germany
María Alpuente Universitat Politècnica de València, Spain
Kyungmin Bae (chair) POSTECH, Korea
Roberto Bruni Università di Pisa, Italy
Francisco Durán Universidad de Málaga, Spain
Santiago Escobar Universitat Politècnica de València, Spain
Maribel Fernández King’s College London, United Kingdom
Mark Hills East Carolina University, USA
Nao Hirokawa JAIST, Japan
Alexander Knapp University Augsburg, Germany
Temur Kutsia Johannes Kepler University Linz, Austria
Alberto Lluch-Lafuente Technical University of Denmark, Denmark
Dorel Lucanu Alexandru Ioan Cuza University, Romania
Salvador Lucas Universitat Politècnica de València, Spain
Narciso Martí-Oliet Universidad Complutense de Madrid, Spain
José Meseguer University of Illinois at Urbana-Champaign, USA
Aart Middeldorp University of Innsbruck, Austria
Vivek Nigam Federal University of Paraíba, Brazil
Kazuhiro Ogata JAIST, Japan
Peter Ölveczky University of Oslo, Norway
Adrián Riesco Universidad Complutense de Madrid, Spain
Christophe Ringeissen INRIA, France
Camilo Rocha Pontificia Universidad Javeriana, Colombia
Vlad Rusu INRIA Lille, France
Traian-Florin Serbanuta University of Bucharest, Romania
Carolyn Talcott SRI International, USA

Steering Committee

Kokichi Futatsugi JAIST, Japan
Claude Kirchner INRIA Research Center Bordeaux - Sud-Ouest, France
Narciso Martí-Oliet Universidad Complutense de Madrid, Spain
José Meseguer University of Illinois at Urbana-Champaign, USA
Ugo Montanari University of Pisa, Italy
Grigore Rosu University of Illinois at Urbana-Champaign, USA
Carolyn Talcott SRI International, USA
Martin Wirsing Ludwig Maximilians Universität München, Germany