<div dir="ltr">We hope to see you at the Oregon Programming Languages Summer School!<br><br>  <a href="https://www.cs.uoregon.edu/research/summerschool/summer21/intro.mp4">https://www.cs.uoregon.edu/research/summerschool/summer21/intro.mp4</a><br><br>The OPLSS speakers are not singing (it's hard to compete after PLDI's<br>video).  Nonetheless, they give a short introduction to their lectures<br>this year:<br><br>  <a href="https://www.cs.uoregon.edu/research/summerschool/summer21/preview.mp4">https://www.cs.uoregon.edu/research/summerschool/summer21/preview.mp4</a><br>  <a href="https://www.youtube.com/watch?v=mUB7_G_Zw4M">https://www.youtube.com/watch?v=mUB7_G_Zw4M</a><br><br>If you still intend to register, please do so as soon as possible.<br>Space is filling quickly!  More information can be found at:<br><br>  <a href="https://www.cs.uoregon.edu/research/summerschool/">https://www.cs.uoregon.edu/research/summerschool/</a><br><br>As in years past, videos of the lectures will be available to all,<br>posted online as soon as we can to the main OPLSS website<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><br><br>and to the OPLSS youtube channel<br><br>  <a href="https://www.youtube.com/channel/UCDe6N9R7U-RYWA57wzJQ2SQ">https://www.youtube.com/channel/UCDe6N9R7U-RYWA57wzJQ2SQ</a><br><br><br>From all of us at OPLSS:<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><br>Zena Ariola, Marco Gaboardi, and Paul Downen<br><div><br></div><div><img src="cid:ii_kpfrd3ew0" alt="OPLSS_Logo.png" width="477" height="180"><br></div></div>