Committees

Program chairs

• Véronique Cortier, LORIA, CNRS, France
• Anupam Datta, Carnegie Mellon University, USA

Organizing committee

• General chair: Stephen Chong, Harvard University, USA
• Local arrangements chair: Michael Mislove, Tulane University, USA
• Publications chair: Deepak Garg, Max Planck Institute for Software Systems, Germany
• Publicity chair: Matteo Maffei, Saarland University, Germany

Program committee

• Gilles Barthe, IMDEA Software Institute, Spain
• David Basin, ETH Zurich, Switzerland
• Giampaolo Bella, University of Catania, Italy
• James Cheney, University of Edinburgh, UK
• Stephanie Delaune, CNRS, France
• Riccardo Focardi, Ca'Foscari University of Venice, Italy
• Joshua Guttman, Worcester Polytechnic Institute, USA
• Limin Jia, Carnegie Mellon University, USA
• Ralf Küsters, University of Trier, Germany
• Boris Köpf, IMDEA Software Institute, Spain
• Matteo Maffei, Saarland University, Germany
• Catuscia Palamidessi, INRIA Saclay, France
• Rafael Pass, Cornell University, USA
• Frank Pfenning, Carnegie Mellon University, USA
• Peter Ryan, University of Luxembourg, Luxembourg
• Andre Scedrov, University of Pennsylvania, USA
• Graham Steel, INRIA, France