Oregon Programming Languages Summer School

Sponsors:

June 20-July 2, 2016

Types, Logic, Semantics, and Verification

Speakers

Northeastern University
Cornell University
Carnegie Mellon University
Carnegie Mellon University
Appalachian State University
Wesleyan University
Carnegie Mellon University
IMDEA Software Institute
© University of Oregon Department of Computer and Information Science, 1202 University of Oregon, Eugene OR 97403-1202