University of Oregon — Department of Computer and Information Science

Oregon Programming Language Summer School

Types, Logic, Semantics, and Verification

Eugene OR

June 15-29, 2014

Sponsors:

Oregon Programming Languages Summer School — June 16-28, 2014

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.

Coq Boot Camp

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

Housing

The school can provide housing and meals. To share a room with another student attending the school, the cost is $825.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 after 2PM on Sunday, June 15, 2014 and check-out before noon on Sunday, June 29, 2014.

Coq Boot Camp

Students attending the Coq Boot Camp, should plan to arrive after 5PM on Saturday, June 14. There is an additional $50 charge for housing and meals.

Other Housing

The following Hotels are within walking distance of campus:

Payment

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