Program Committee
- Erika Abraham, RWTH Aachen, Germany
- Kyungmin Bae, POSTECH, Korea
- Canh Minh Do, JAIST, Japan
- 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
- 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
- Masaki Nakamura, Toyama Prefectural University, Japan
- Kazuhiro Ogata, JAIST, Japan, Chair
- Peter Ölveczky, University of Oslo, Norway
- Adrián Riesco, Universidad Complutense de Madrid, Spain
- Christophe Ringeissen, INRIA, France
- Camilo Rocha, Pontificia Universidad Javeriana, Colombia
- 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
Publicity chair
- Duong Dinh Tran, JAIST, Japan