Programme Committee
Sandra Alves, University of Porto (PC chair)
Sabine Broda, University of Porto
Adriana Compagnoni, Stevens Institute of Technology
Nachum Dershowitz, University of Tel Aviv
Mariangiola Dezani, University of Torino
Alessandra Di Pierro, University of Verona
Maribel Fernández, King's College London
Russ Harmer, ENS Lyon
Edward Hermann Haeusler, PUC-Rio
Luigi Liquori, INRIA Sophia
Elvira Mayordomo, University of Zaragoza
Simon Perdrix, LORIA-Nancy
Jamie Vicary, University of Oxford