The Oregon Programming Languages Summer School has been a UO tradition since 2002, bringing top speakers in the field together with students from around the world. The summer school seeks to impart 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 on students and professionals in computer science. The school’s congenial collaborative atmosphere combined with Oregon’s summer beauty makes this experience a unique academic opportunity for discourse and collaboration in the programming languages community.
This year, the school will focus on the foundations of probabilistic programming and security, featuring talks by Amal Ahmed, Andrew Gordon, Robert Harper, Fritz Henglein, Jan Hoffmann, Rustan Leino, Andrew Myers, Frank Pfenning, Alexandra Silva, Sam Staton, and Nikhil Swamy. The school was organized this year by Zena Ariola (UO), Robert Harper (CMU), Marco Gaboardi (SUNY), and Paul Downen (UO).
For more information including the schedule of talks and archive of presentations from past years see the summer school's website here: https://www.cs.uoregon.edu/research/summerschool/summer19/