Program committee



Name Affiliation
Amal Ahmed Inria Paris and Northeastern University
Catalin Hritcu chair Inria Paris
Cédric Fournet Microsoft Research
David Naumann Stevens Institute of Technology
Deepak Garg MPI-SWS
Dominique Devriese KU Leuven
Frank Piessens KU Leuven
Lars Birkedal Aarhus University
Marco Patrignani CISPA
Nikhil Swamy Microsoft Research
Tamara Rezk Inria Sophia Antipolis
Xavier Leroy Inria Paris