University of Oregon

Oregon Programming Languages Summer School — June 15-25, 2010

Logic, Languages, Compilation, and Verification

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
Sponsors
Copyright © University of Oregon Department of Computer and Information Science. All rights reserved.
Privacy Policy