Scientific Committee
Martin Abadi
Alessandro Aldini
Gilles Barthe
Eerke Boiten
Roberto Gorrieri
Sandro Etalle
Javier Lopez
Fabio Martinelli (Chair)
Catherine Meadows
Bart Preneel