<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><span class="" style="font-variant-ligatures: no-common-ligatures;"> </span>We are pleased to announce the program for the 20th annual Oregon Programming</div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;">Languages Summer School (OPLSS) to be held from June 20th to July 2nd, 2022 at</div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;">the University of Oregon in Eugene. We are looking forward to getting together</div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;">in person for our 20th anniversary! </div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><br class=""></div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;">The registration deadline is April 10th, 2022. Full information on registration,</div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;">scholarships and COVID-19 regulations can be found here:</div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><br class=""></div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"> <a href="https://urldefense.com/v3/__http://www.cs.uoregon.edu/Activities/summerschool__;!!IBzWLUs!AdfSzyyxJwY5g4M9m2M5xxYy0xfvDUYRjJj00DnJnSTi0RkSDNzPUVIS9YqFOvc_w1J_eu2FOfWRXg$" class="">http://www.cs.uoregon.edu/Activities/summerschool</a></div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><br class=""></div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;">The program is as follows:</div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><br class=""></div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><b class="">Thorsten Altenkirch </b>- University of Nottingham</div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;">Introduction to Type Theory</div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><br class=""></div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><b class="">Stephanie Balzer</b> - Carnegie Mellon University</div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;">Session-Typed Concurrent Programming</div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><br class=""></div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><b class="">Adam Chlipala</b> - Massachusetts Institute of Technology </div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;">From Type Theory to End-to-End Proof of Realistic Systems</div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><br class=""></div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><b class="">Pierre-Louis Curien</b> - Institut de Recherche en Informatique Fondamentale </div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;">Game semantics</div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><br class=""></div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><b class="">Paul Downen</b> - University of Massachusetts, Lowell</div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;">Abstract machines and classical realizability</div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><br class=""></div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><b class="">Silvia Ghilezan </b>- University of Novi Sad</div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;">Rewriting and termination in lambda calculus</div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><br class=""></div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><b class="">Jeremy Gibbons </b>- University of Oxford</div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;">Algebra of Programming</div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><br class=""></div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><b class="">Robert Harper</b> - Carnegie Mellon University</div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;">Introduction to the theory of Logical Relations</div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><br class=""></div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><b class="">Sam Lindley</b> - The University of Edinburgh</div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;">Effect Handler Oriented Programming</div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><br class=""></div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><b class="">Frank Pfenning</b> - Carnegie Mellon University</div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;">Introduction to Proof Theory </div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><br class=""></div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><b class="">Stephanie Weirich</b> - University of Pennsylvania</div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;">Implementing Dependent Types in pi-forall</div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><br class=""></div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><b class="">Steve Zdancewic</b> - University of Pennsylvania</div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;">Formal Verification of Monadic Computations</div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><br class=""></div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;">You can find the description of each course here:</div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><br class=""></div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><a href="https://urldefense.com/v3/__https://www.cs.uoregon.edu/research/summerschool/summer22/topics.php__;!!IBzWLUs!AdfSzyyxJwY5g4M9m2M5xxYy0xfvDUYRjJj00DnJnSTi0RkSDNzPUVIS9YqFOvc_w1J_eu3VDqO1Xg$" class="">https://www.cs.uoregon.edu/research/summerschool/summer22/topics.php</a></div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><br class=""></div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;">We hope to see you in Eugene for this excellent program.</div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><br class=""></div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"> Paul, Marco and Zena </div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><br class=""></div><div class="" style="margin: 0px; font-stretch: normal; line-height: normal;"><img apple-inline="yes" id="583AEDCE-AF86-428A-B09B-A51F20143FB7" class="" src="cid:1B1A0DE0-AC60-4B3D-AF45-C39818FB8FF6"></div></body></html>