Oregon Programming Languages Summer School

Sponsors:

June 20-July 2, 2016

Types, Logic, Semantics, and Verification

Organizers

University of Oregon
Carnegie Mellon University
Wesleyan University

Local Arrangements

Jim Allen
University of Oregon

Videographer

Edwin Farley
Brown University

Sponsors

© University of Oregon Department of Computer and Information Science, 1202 University of Oregon, Eugene OR 97403-1202