Oregon Programming Languages Summer School has been hosted by the University of Oregon Department of Computer and Information Science since 2002. The Oregon Programming Languages Summer School is devoted to teaching the principles of programming languages to students and professionals. Although the topics vary from year to year, the unifying theme is the importance of fundamental theory to the design and implementation of programming languages, the development of program verification tools, and the application of advanced programming languages to practice. This year, the theme is Types, Logic, and Formal Methods.
Please choose the options below that appear on your invoice. At most one option for housing and one option for registration should appear on your invoice. If you wish to purchase a product that does not appear on your invoice, please email summerschool@cs.uoregon.edu to request changes to your invoice before making a payment. The invoice number appears at the upper right corner of your invoice and begins with "BZPLSS2025".
Contact Info
| Select / Enter Qty | Select / Enter Qty | Select / Enter Qty | Price | Price | Product or Event |
|---|---|---|---|---|---|
| Enter payment amount | $1589.00 | Product
OPLSS 2025 Housing
Description
Housing for check-in after 2PM on Sunday, June 22, 2025, and check-out before noon on Sunday, July 6, 2025. Housing includes three meals per day, starting with dinner on June 22 through lunch on July 6. Each room houses one participant. Bathrooms and showers are shared between the occupants of the rooms on each floor. |
| Select / Enter Qty | Select / Enter Qty | Select / Enter Qty | Price | Price | Product or Event |
|---|---|---|---|---|---|
| Enter payment amount | $1050.00 | Product
OPLSS 2025 Registration - Industry
Description
Registration for Oregon Programming Languages Summer School program for accepted participants from industrial employment. Delivery method and Time Frame
Registration allows the participant to attend the lectures for the Oregon Programming Languages Summer School from June 23 to July 5, 2025.
|
| Select / Enter Qty | Select / Enter Qty | Select / Enter Qty | Price | Price | Product or Event |
|---|---|---|---|---|---|
| Enter payment amount | $550.00 | Product
OPLSS 2025 Registration - Post Doctoral Researcher
Description
Registration for accepted participants with a PhD employed as a post doctoral researcher or instructor Delivery method and Time Frame
Registration allows the participant to attend the lectures for the Oregon Programming Languages Summer School from June 23 to July 5, 2025
|
| Select / Enter Qty | Select / Enter Qty | Select / Enter Qty | Price | Price | Product or Event |
|---|---|---|---|---|---|
| Enter payment amount | $800.00 | Product
OPLSS 2025 Registration - Professor
Description
Registration for accepted professors Delivery method and Time Frame
Registration allows the participant to attend the lectures for the Oregon Programming Languages Summer School from June 23 to July 5, 2025
|
| Select / Enter Qty | Select / Enter Qty | Select / Enter Qty | Price | Price | Product or Event |
|---|---|---|---|---|---|
| Enter payment amount | $350.00 | Product
OPLSS 2025 Registration - Student
Description
Registration for accepted student participants Delivery method and Time Frame
Registration allows the participant to attend the lectures for the Oregon Programming Languages Summer School from June 23 to July 5, 2025
|