Steering committee

• Gilles Barthe (IMDEA Software, Madrid)
• Rocco De Nicola (University of Florence)
• Christos Kaklamanis (University of Patras)
• Ugo Montanari (University of Pisa)
• Davide Sangiorgi (University of Bologna)
• Don Sannella (University of Edinburgh)
• Vladimiro Sassone (University of Southampton)
• Martin Wirsing (University of Munich)

Program chairs

• Martin Hofmann
  Institut für Informatik,
  Ludwig-Maximilians-Universtät München
  hofmann@tcs.ifi.lmu.de
  
  
• Martin Wirsing
  Institut für Informatik,
  Ludwig-Maximilians-Universtät München
  wirsing@lmu.de
  
  

Program committee

• Roberto Bruni (University of Pisa)
• Gilles Barthe (IMDEA Software, Madrid)
• Rocco De Nicola (University of Florence)
• Howard Foster (Imperial College)
• Samir Genaim (Universidad Complutense de Madrid)
• Stefania Gnesi (ISTI, Pisa)
• Martin Hofmann (Ludwig-Maximilians-Universtät München) (co-chair)
• Thomas Jensen (IRISA, Rennes)
• Christos Kaklamanis (University of Patras)
• Alberto Marchetti-Spaccamela (Università di Roma "La Sapienza")
• Paddy Nixon (University College Dublin)
• Giuseppe Persiano (Università degli Studi di Salerno)
• Geppino Pucci (University of Padova)
• Paola Quaglia (Università di Trento)
• Don Sannella (University of Edinburgh)
• Vladimiro Sassone (University of Southampton)
• Maria J. Serna (Universitat Politècnica de Catalunya)
• Carolyn Talcott (SRI International)
• Emilio Tuosto (University of Leicester)
• Nobuko Yoshida (Imperial College London)
• Martin Wirsing (Ludwig-Maximilians-Universtät München) (co-chair)
• Franco Zambonelli (University of Modena)

Local organization

• Nora Koch (chair)
• Axel Rauschmayer
• Gefei Zhang