University of Oregon University of Oregon

Each year, the ACM Sigplan Oregon Programming Language Summer School covers a topic in the foundation of programming languages. The summer school is intended primarily for graduate students, but has been attended by undergrads, professors and industry professionals as well. Sponsors have included ACM Sigplan, BAE Systems, The Charles Stark Draper Laboratory, Inc., Facebook, Galois, Google, Indiana University, INRIA, Intel, Jane Street Capital, Microsoft Research, the National Science Foundation, The US Air Force, and Univeristy of Oregon.

Current Year [https://www.cs.uoregon.edu/research/summerschool/]
OPLSS 2002 — Proofs as Programs
OPLSS 2003 — Foundations of Security
OPLSS 2004 — Software Security
OPLSS 2005 — Reliable Computing
OPLSS 2006 — Concurrent and Distributed Software
OPLSS 2007 — Integrating with the External World
OPLSS 2008 — Logic and Theorem Proving
OPLSS 2009 — Theory & Practice of Language Implementation
OPLSS 2010 — Logic, Languages, Compilation, and Verification
OPLSS 2011 — Types, Semantics and Verification
OPLSS 2012 — Logic, Languages, Compilation, and Verification
OPLSS 2013 — Types Logic, and Verification
OPLSS 2014 — Types, Logic, Sematics, and Verification
OPLSS 2015 — Types, Logic, Sematics, and Verification
OPLSS 2016 — Types, Logic, Sematics, and Verification
OPLSS 2017 — A Spectrum of Types