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

How to get here

Checking In

campus map

Checking Out

Your last meal is Breakfast, Sunday 6/29.

References

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