University of Oregon

Oregon Programming Languages Summer School — July 22-August 3, 2013

Types, Logic, and Verification


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.

Coq Boot Camp

There is an additional registration of $10.00 (USD) for the Coq Boot Camp.


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

Coq Boot Camp

Students attending the Coq Boot Camp, should plan to arrive on Saturday, July 20. There is an additional $50 charge for housing and meals.

Other Housing

The following Hotels are within walking distance of campus:


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