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

Registration

The cost for registration is $230.00 (USD) for graduate students, $330.00 (USD) for post-docs and industry professionals. (These rates are kept low by the contributions of our sponsors.) Registration must be paid upon acceptance to the summer school, and is non-refundable. At that time, please indicate if you will not be requiring housing. By default, we will include you in the conference housing.

Housing

The school can provide housing and meals. To share a room with another student attending the school, the cost is $875.00 (USD) per person. There is an additional $190 charge for having an exclusive room. Plumbing facilities are shared. The price includes three meals per day at the University cafeteria. Housing rates are based on check-in after 5PM on Sunday, June 14, 2015 and check-out before noon on Sunday, June 28, 2015.

Other Housing

The following Hotels are within walking distance of campus:

Payment

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