University of Oregon — Department of Computer and Information Science

Oregon Programming Language Summer School

Types, Logic, Semantics, and Verification

Eugene OR

June 15-29, 2014

Sponsors:

Oregon Programming Languages Summer School — June 16-28, 2014

Types, Logic, Semantics, and Verification

Princeton University
Microsoft Research
Aarhus University
George Washington University
Max Planck Institute for Software Systems
Carnegie Mellon University
Harvard University
Chalmers University of Technology
McGill University
University of Pennsylvania
University of Pennsylvania
Sponsors
Copyright © University of Oregon Department of Computer and Information Science. All rights reserved.
Privacy Policy