University of Oregon University of Oregon
2023 OPLSS Group

June 23-July 5, 2025

Types, Logic, and Formal Methods

For 23 years, the Oregon Programming Languages Summer School (OPLSS) has focused on teaching the principles of programming languages to students and professionals. Although the topics change from year to year, a common theme is the significance of fundamental theory in the design and implementation of programming languages, the development of program verification tools, and the application of advanced programming languages. The summer school attracts participants from around the world and often subsidizes the participation of qualified attendees with limited resources. Since its inception in 2002, over a thousand participants have attended OPLSS.

The program lasts two weeks and allows ample time for both group and independent study, as well as opportunities to enjoy the many recreational activities available around Eugene. Recordings of the sessions are available online and can be found on YouTube.

The summer school is sponsored by the National Science Foundation and supported by generous grants from numerous companies over the years.