We are pleased to announce the preliminary program for the 13th annual Oregon Programming Languages Summer School (OPLSS) to be held June 16th to 28th, 2014 at the University of Oregon in Eugene. The registration deadline will be April 14th, 2014. This year's program is titled Types, Logic, Semantics, and Verification and features the following speakers: Andrew Appel -- Software Verification Princeton University Lars Birkedal -- Category Theory Aarhus University Derek Dreyer -- Modular Reasoning about Stateful Programs Max Planck Institute for Software Systems Robert Harper -- Type Theory Foundations Carnegie Mellon University Greg Morrisett -- Certified Programming and State Harvard University Ulf Norell -- Programming in Agda Chalmers University of Technology Brigitte Pientka -- Proof Theory Foundations McGill University Stephanie Weirich -- Designing Dependently-Typed Programming Languages University of Pennsylvania Steve Zdancewic -- Software Foundations in Coq University of Pennsylvania Full information on registration and scholarships will be available shortly at: http://www.cs.uoregon.edu/Activities/summerschool/summer14/ . Amal Ahmed Greg Morrisett