Skip to the content.
Steering Committee
- Francisco Durán, Universidad de Málaga, Spain
- Santiago Escobar, Universitat Politècnica de València, Spain
- 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
- Peter Ölveczky, University of Oslo, Norway
- Grigore Rosu, University of Illinois at Urbana-Champaign, USA
- Carolyn Talcott, SRI International, USA
- Martin Wirsing, Ludwig Maximilians Universität München, Germany
Program Committee
- Kyungmin Bae, Pohang University of Science and Technology (POSTECH), South Korea
- Francisco Durán, Universidad de Málaga, Spain
- Santiago Escobar, Universitat Politècnica de València, Spain
- Alberto Lluch-Lafuente, Technical University of Denmark, Denmark
- Narciso Martí-Oliet, Universidad Complutense de Madrid, Spain
- José Meseguer, University of Illinois at Urbana-Champaign, USA
- Kazuhiro Ogata, JAIST, Japan
- Carlos Olarte, Université Sorbonne Paris Nord, France
- Peter Ölveczky, University of Oslo, Norway
- Camilo Rocha, Pontificia Universidad Javeriana, Colombia [chair]
- Carolyn Talcott, SRI International, USA
Publicity Chair
- Carlos Ramírez, Pontificia Universidad Javeriana, Colombia