University of Oregon

Oregon Programming Languages Summer School — July 22-August 3, 2013

Types, Logic, and Verification

Organizers

Amal Ahmed Northeastern University
Frank Pfenning Carnegie Mellon University
Benjamin Pierce University of Pennsylvania
Robert Constable Cornell University
Zena Ariola University of Oregon

Local Arrangements

Jim Allen University of Oregon

Sponsors

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