University of Oregon University of Oregon

Oregon Programming Languages Summer School

Types, Proofs, and Program Logics

June 22-July 4, 2026

Types, Proofs, and Program Logics

June 22-July 4, 2026

Rates

Student Registration $350
Post-Doc Registration $550
Professor Registration $800
Industry Registration $1050
Room and Board $1736

Room packages are for check-in after 2PM on Sunday, June 21, 2026, and check-out before noon on Sunday, July 5, 2026. Board includes three meals per day, starting with dinner on June 21 through lunch on July 5. Room reservations must be paid before May 18.

Each room houses one participant. Toilets and showers are shared between the occupants of the rooms on each floor.

If there are two participants who wish to share a room with two beds for a reduced rate, please contact us to make arrangements once both applications have been accepted.

Payment

Please indicate your invoice number with payments. Do not make payments until you have an invoice reflecting those charges. The payment sites below are not tied to inventory. Changes to your invoice must be requested from summerschool@cs.uoregon.edu.

Registration and housing payments must be received by May 18, 2026 to ensure your place at OPLSS. Payments are non-refundable. Room reservations not cancelled by May 18, 2026 are due in full. Participants who accept a fellowship and do not cancel by May 18, 2026, must pay the full amount of housing if they do not attend.

Fellowship Participants who accept a fellowship and do not cancel by May 18, 2026, must pay the full amount of housing if they do not attend.