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. The summer school attracts participants from around the world. More than a thousand participants have attended OPLSS since its inception in 2002. The summer school has been sponsored by by generous grants from numerous organizations over the years.
Lectures will be delivered on Zoom, and will start 9am PDT. The lecture recordings will be made available. Further information will be made available closer to June 2021. Note that registration is required.