General chair

Luca Viganò
Luca Viganò
Dipartimento di Informatica
Università di Verona
Strada Le Grazie 15
I-37134 Verona
Italy
luca.vigano@univr.it

Program Co-Chairs

Anupam Datta
Anupam Datta
Carnegie Mellon University
4720 Forbes Ave
CIC Bldg. Room 2118
Pittsburgh, PA 15213
USA
csf2014@easychair.org
Cedric Fournet
Cedric Fournet
Microsoft Research Ltd.
7 J J Thomson Avenue
Cambridge CB3 0FB
United Kingdom

csf2014@easychair.org

Publications Chair

Deepak Garg
Deepak Garg
Max Planck Institute
for Software Systems
Campus E1 4
Saarbruecken, 66123
Germany
dg@mpi-sws.org