An overview of the oregon programming languages summer school

The Oregon Programming Languages Summer School (OPLSS) will be held at the University of Oregon from June 15-June 25, 2010 titled 'Logics, Languages, Compilation, and Verification. It is aimed at providing students and instructors a unique opportunity to study relevant background and results in the field of programming languages research. The course will consist of foundational lectures on proof theory and type theory and a series of lectures on the use of theorem provers for mechanized proof. It also will cover a series of lectures on the application of mechanized reasoning to compiler certification, program verification, and integrating types and verification. The OPLSS covers a total of 4 80-minute lectures given by different leading researchers in the field. Other activities include panel discussions and a one-day excursion, such as a hike. The summer school is primarily aimed at graduate students but typically have a small number of other participants including faculty, post-docs, advanced undergraduates, and industrial researchers.