Oregon Programming Languages Summer School


June 20-July 2, 2016

Types, Logic, Semantics, and Verification

Registration Procedure

To register for the Summer School, send your name, gender, and current academic status to the email below.

Email all registration materials to
"summerschool" at "cs.uoregon.edu"
Letters of reference should be sent directly to that address.

Materials should be received by April 4, 2016. Foreign participants should begin immediately to obtain travel documents.



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.


The school can provide housing and meals. To share a room with another student attending the school, the cost is $905.00 (USD) per person. There is an additional $185 (USD) 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 19, 2016 and check-out before noon on Sunday, July 3, 2016.

Other Housing

The following Hotels are within walking distance of campus:


Please include your invoice number with your payment.
© University of Oregon Department of Computer and Information Science, 1202 University of Oregon, Eugene OR 97403-1202