[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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

