Organizers
Zena Ariola | University of Oregon |
Pierre-Louis Curien | Laboratoire Preuves, Programmes et Systèmes |
Robert Harper | Carnegie Mellon University |
Hugo Herbelin | INRIA |
Steering Committee
Zena Ariola | University of Oregon |
Matthew Fluet | Toyota Technological Institute at Chicago |
Jeff Foster | University of Maryland |
Dan Grossman | University of Washington |
Yannis Smaragdakis | University of Massachusetts, Amherst |
David Walker | Princeton University |
Steve Zdancewic | University of Pennsylvania |
Local Arrangements
Jim Allen | University of Oregon |