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

How to get here

Checking In

campus map

Checking Out

Your last meal is Breakfast, Sunday 6/28.

References

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