Oregon Programming Languages Summer School

Types, Logic, Semantics, and Verification

University of Oregon — Eugene OR

June 15-27, 2015

Sponsors:

June 15-27, 2015

Types, Logic, Semantics, and Verification

Speakers

Northeastern University
Cornell University
Massachusetts Institute of Technology
Cornell University
Chalmers University of Technology
Carnegie Mellon University
Carnegie Mellon University
Carnegie Mellon University
© University of Oregon Department of Computer and Information Science, 1202 University of Oregon, Eugene OR 97403-1202