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