<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div><div>We are excited to announce that the 24th annual Oregon Programming</div><div>Languages Summer School (OPLSS) will take place from June 23 to July 5, 2025, at</div><div>the University of Oregon in Eugene. We are looking forward to being back </div><div>in Oregon!</div><div><br></div><div>This year's theme is "Types, Logic, and Formal Methods."</div><div>The program will feature the following speakers and topics: </div><div><br></div><div>Nada Amin - Harvard University</div><div>Metaprogramming </div><div><br></div><div>Valeria De Paiva - Topos Institute </div><div>Lambda-calculi for logics</div><div><br></div><div>Kathleen Fisher - DARPA</div><div>Formal methods for natural security</div><div><br></div><div>Limin Jia - Carnegie Mellon University </div><div>Information Flow Type Systems</div><div><br></div><div>Delia Kesner - Université de Paris </div><div>Lambda Calculi Through the Lens of Linear Logic</div><div><br></div><div>Kathryn S McKinley - Google </div><div>System design and innovation: A Garbage Collection Case Study</div><div><br></div><div>Anja Petković Komel - TU Wien and Argot Collective</div><div>Introduction to Type Theories</div><div><br></div><div>Brigitte Pientka - McGill University </div><div>Introduction to Logical Foundations</div><div><br></div><div>Paige Randall North - Utrecht University</div><div>Introduction to Category Theory</div><div><br></div><div>Emina Torlak - Amazon Web Services</div><div>Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization</div><div><br></div><div>Caterina Urban - INRIA </div><div>Abstract Interpretation-Based Static Analysis</div><div><br></div><div>Niki Vazou - IMDEA Software Institute</div><div>Refinements Types</div><div><br></div><div>Jeannette Wing - Columbia University </div><div>Trustworthy AI</div><div><br></div><div>Ningning Xie - University of Toronto. </div><div>Algebraic effects and handlers</div><div><br></div><div><br></div><div>More details about the registration process will be</div><div>available soon on the OPLSS website</div><div> </div><a href="https://urldefense.com/v3/__https://www.cs.uoregon.edu/research/summerschool/summer25/__;!!IBzWLUs!Rt59SSvirMi_INIvzAyEmrTYBPWnLLmMXn0pQoQZEuhha-9KiyRgNwgP0o-MW4Wa6xfqCHTMlJ6gLOWv5PPE-1BShoYnEz5IquQ$">https://www.cs.uoregon.edu/research/summerschool/summer25/</a><div><br></div><div>OPLSS 2025 Organization Team</div><div>Alexandra Silva, Silvia Ghilezan, and Zena M. Ariola</div></div><div><br></div><div><img src="cid:5B1C2CF5-7D46-446C-95B8-C8E4D8ECE69F" alt="logo-small.png"></div><div><br></div></body></html>