University of Oregon

Oregon Programming Languages Summer School — July 16-28, 2012

Logic, Languages, Compilation, and Verification

Organizers

Benjamin Pierce University of Pennsylvania
Robert Constable Cornell University
Zena Ariola University of Oregon

Steering Committee

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

Local Arrangements

Jim Allen University of Oregon
Copyright © University of Oregon Department of Computer and Information Science. All rights reserved.
Privacy Policy