Oregon Programming Languages Summer School

Sponsors:

June 20-July 2, 2016

Types, Logic, Semantics, and Verification

How to get here

Checking In

campus map

Checking Out

Your last meal is lunch, Sunday 7/3. People usually leave between 4:00PM on Saturday and Noon on Sunday. When you leave, please place your keys and meal card back in the envelope you received upon check-in. Keep the University of Oregon lanyard. If you are calling a taxi to pick you up, all the streets in the University will be closed to traffic. Ask the taxi to meet you at Onyx and Franklin, and walk to meet it.

References

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