<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><pre style="white-space: pre-wrap; color: rgb(0, 0, 0); font-variant: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; "><font class="Apple-style-span" face="Monaco">This year's Oregon Programming Languages Summer School will take place from June 16th to 28th, 2014. The registration deadline is April 14th. Full information on registration and scholarships an be found here:
<a href="http://www.cs.uoregon.edu/Activities/summerschool">http://www.cs.uoregon.edu/Activities/summerschool</a>
The school has a long and successful tradition (sponsored by the NSF, ACM SIGPLAN, and industry). It covers current research in the theory and practice of programming languages. Material is presented at a tutorial level that will help graduate students and researchers from academia or industry understand the critical issues and open problems confronting the field. Prerequisites are an elementary knowledge of logic and mathematics, as covered in undergraduate classes on discrete mathematics, and some knowledge of programming languages at the level of an undergraduate survey course. </font></pre><pre style="white-space: pre-wrap; color: rgb(0, 0, 0); font-variant: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; "><font class="Apple-style-span" face="Monaco">This year we will again offer a Coq boot camp session, to be held on June 15th -- one day before the summer school officially begins. The boot camp will provide a one-day, intensive, hands-on introduction to the practical mechanics of the Coq proof assistant. The Coq boot camp will be run by Michael Clarkson (George Washington University). More information is available at the above website. </font></pre></div>This year's program is titled Types, Logic, Semantics, and Verification. The speakers and topics include: <div><br></div><div><div>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></div><div><br></div>We hope you can join us for this excellent program!<br><br><br></div><div>Amal Ahmed</div><div>Zena Ariola</div><div>Greg Morrisett</div><div>OPLSS 2014 organizers</div><div><br></div></body></html>