<div dir="ltr">We are pleased to announce the program of the 19th annual Oregon<br>Programming Languages Summer School (OPLSS) to be held *online* from<br>June 14th to June 26th, 2021. The theme for this year is "Foundations<br>of Programming and Security."<br><br>The registration deadline is April 30th, 2021. <br><br>Full information on registration can be found here:<br><br><a href="https://www.cs.uoregon.edu/Activities/summerschool">https://www.cs.uoregon.edu/Activities/summerschool</a><br><br>This year, OPLSS will be a little different. The registration rates<br>have been updated to reflect the fact that OPLSS will be fully<br>virtual. In consideration of the current circumstances, there are now<br>three categories for registration:<br><br>  * Students & Postdocs: Free<br>  <br>  * Professors & Industrial Professionals: $250<br>  <br>  * Others: For those for which the professional registration fee<br>    would pose an economic burden, please contact us for more<br>    details. Some examples include: people on temporary hiatus due to<br>    the pandemic; unemployed or retired professionals.<br>  <br>To help the online lectures and discussion sessions run smoothly, we<br>request volunteers to contribute to one of these roles:<br><br>  * Scribe: Prepare written notes for certain lectures.<br>  <br>  * Lecture assistant: Gather & relay questions to the speaker.<br>  <br>Please contact us during registration to indicate your interest in one<br>of these roles.<br><br><br>The speakers and topics include:<br><br>Stephanie Balzer — Carnegie Melon University<br>Session-Typed Concurrent Programming<br><br>Ugo Dal Lago — University of Bologna<br>From Program Equivalences to Program Metrics<br><br>Robert Harper — Carnegie Melon University<br>Principles of Programming Languages<br><br>Justin Hsu — University of Wisconsin–Madison<br>Reasoning about Probabilistic Programs<br><br>Patricia Johann — Appalachian State University<br>Semantics of Advanced Data Types<br><br>Alejandro Russo — Chalmers University<br>Information-flow Control Libraries<br><br>Alexandra Silva — University College London<br>Kleene Algebras and Applications<br><br>Nikhil Swamy — Microsoft Research<br>Proof-oriented Programming in F*<br><br>Tarmo Uustalu — Reykjavik University<br>Monads and Interaction<br><br>More information about these topics can be found at:<br><br><a href="https://www.cs.uoregon.edu/research/summerschool/summer21/topics.php">https://www.cs.uoregon.edu/research/summerschool/summer21/topics.php</a><div><br></div><div><br></div><div>We hope you can join us for this excellent program!</div><div><br>Zena Ariola, Marco Gaboardi, and Paul Downen</div><div><br><div><div><br></div><div><img src="cid:ii_kml93r8v0" alt="OPLSS_Logo.png" width="452" height="171"><br></div></div></div></div>