Program Chair
María Alpuente
DSIC - Technical University of Valencia
Camino de Vera s/n
Apdo. 22.012
E-46022 Valencia (Spain)
Email: alpuente@dsic.upv.es
Conference Chair
Temur Kutsia
Research Institute for Symbolic Computation
Johannes Kepler University Linz
Altenbergerstrasse 69
A-4040 Linz, Austria
Email:
kutsia@risc.uni-linz.ac.at
Program Committee
- María Alpuente (Technical University of Valencia, Spain), chair
- Sergio Antoy (Portland State University, USA)
- Gilles Barthe (IMDEA Software, Madrid)
- Manuel Carro (Technical University of Madrid, Spain)
- Marco Comini (University of Udine, Italy)
- Danny De Schreye (Katholieke Universiteit Leuven, Belgium)
- Santiago Escobar (Technical University of Valencia, Spain)
- Moreno Falaschi (University of Siena, Italy)
- Fabio Fioravanti (University of Chieti - Pescara, Italy)
- John Gallagher (Roskilde University, Denmark)
- Michael Hanus (University of Kiel, Germany)
- Patricia M Hill (University of Parma, Italy)
- Andy King (University of Kent, UK)
- Temur Kutsia (Johannes Kepler University Linz, Austria)
- Ralf Lämmel (Universität Koblenz-Landau, Germany)
- Michael Leuschel (University of Düsseldorf, Germany)
- Yanhong Annie Liu (State University of New York at Stony Brook, USA)
- Julio Mariño (Technical University of Madrid, Spain)
- Ricardo Peña (University Complutense of Madrid, Spain)
- Peter Schneider-Kamp (University of Southern Denmark)
- Alicia Villanueva (Technical University of Valencia, Spain)