Boston University Boston University

Types, Semantics, and Applications

June 3-June 13, 2024

The Oregon Programming Languages Summer School has been devoted for twenty years 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 program takes place over two weeks, with ample time for group and private study. The summer school attracts participants from around the world, and is often able to subsidize the participation of qualified attendees with limited resources. More than a thousand participants have attended OPLSS since its inception in 2002. The summerschool is sponsored by generous grants from numerous companies.

This year, the Oregon Programming Languages Summer School will be hosted on the beautiful campus of Boston University