Program chairs

Anupam Datta
Anupam Datta
Carnegie Mellon
University, USA
Cedric Fournet
Cedric Fournet
Microsoft Research
Cambridge, UK

Organizing committee

Luca Viganò
General Chair
Luca Viganò
Università di Verona, Italy
Deepak Garg
Publications chair
Deepak Garg
Max Planck Institute for
Software Systems, Germany
Matteo Maffei
Publicity chair
Matteo Maffei
Saarland University, Germany

Program committee