Organizers
Organizing Committee
| Hugo Herbelin | INRIA | |
| John Mitchell | Stanford University | |
| Martin Abadi | University of California at Santa Cruz | |
| Zena M. Ariola | University of Oregon |
Scientific Committee
| Luca Cardelli | Microsoft Research, Cambridge | |
| Pierre-Louis Curien | University of Paris | |
| Robert Harper | Carnegie Mellon University | |
| Frank Pfenning | Carnegie Mellon University | |
| Catuscia Palamidessi | INRIA | |
| Benjamin Pierce | University of Pennsylvania |
