University of Oregon

10th Annual Oregon Programming Languages Summer School — June 16-July 1, 2011

Types, Semantics and Verification

Organizers

Zena Ariola University of Oregon
Pierre-Louis Curien pi.r2 team, PPS, CNRS-Paris Diderot University-INRIA
Marco Gaboardi Università di Bologna, INRIA Focus Team
Robert Harper Carnegie Mellon University
Hugo Herbelin pi.r2 team, PPS, CNRS-Paris Diderot University-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
Sponsors
Copyright © University of Oregon Department of Computer and Information Science. All rights reserved.
Privacy Policy