[TYPES/announce] OPLSS 2026

[Zena Matilde Ariola]

We are excited to announce that the annual Oregon Programming Languages Summer School (OPLSS)
will take place from June 22 to July 4, 2026, at the University of Oregon in Eugene. 

This year's theme is "Types, Proofs, and Program Logics."

The program will feature the following speakers and topics:

Arthur Azevedo de Amorim  - Introduction to Rocq

Derek Dreyer  -  Modern Separation Logic

Philippa Gardner - Separation Logic and Compositional Symbolic Execution: Verification and Bug Detection at Scale

Simon Gay  - Session Types and Mailbox Types

Herman Geuvers  - Introduction to Type Theory

Dexter Kozen -   Introduction to Program Semantics

Rustan Leino  - The Use and Anatomy of an Auto-Active Verifier

Greg Morrisett - TBA

Simon Peyton Jones  - The Verse Language: Types, Semantics, and Verification

Elaine Pimentel  - Introduction to Logical Foundations

Jonathan Protzenko - Linearity in Rust Verification

Nikhil Swamy  - Pulse: Proof-oriented Programming in a Dependently Typed Concurrent Separation Logic

More details can be found in here  <https://urldefense.com/v3/__https://www.cs.uoregon.edu/research/summerschool/summer26/__;!!IBzWLUs!Uvhwaa7yjdDdj2CkVU-_XboCbIRhQ0qag3O55vA6i2GA-Wc4pPPR3jGdRePBCjml7en3E_3gnwU79cMfQhGeJgk9fALYN9Y8lFM$ >

Hope to see many of you in Eugene!

OPLSS 2026 Organizing Team
Marco,  Pierre-Louis, Zena, and Jim




-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260129/f4394abe/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: logo-small.png
Type: image/png
Size: 20102 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260129/f4394abe/attachment-0001.png>