University of Oregon University of Oregon

Oregon Programming Languages Summer School

Types, Proofs, and Program Logics

June 22-July 4, 2026

Types, Proofs, and Program Logics

June 22-July 4, 2026

Technical Lectures

The sessions are non-overlapping, so participants will have the opportunity to attend all lectures. Each lecture is 80 minutes, including time for questions.

Session 1 is 9:00 AM until 10:20am.
Session 2 is 10:40 AM until noon.
Session 3 is 2:00 PM until 3:20 PM.
Session 4 is 3:40 PM until 5:00 PM.

Morning Afternoon
Date Session 1 Session 2 Session 3 Session 4
MON 6/22 Geuvers Azevedo Geuvers Azevedo
TUE 6/23 Azevedo Pimentel Geuvers lab
WED 6/24 Gardner Pimentel Azevedo Geuvers
THR 6/25 Pimentel Gardner Kozen lab
FRI 6/26 Kozen Gardner Kozen Pimentel
SAT 6/27 Kozen Gardner lab
SUN 6/28 Free
MON 6/29 Dreyer Peyton-Jones Dreyer Protzenko
TUE 6/30 Dreyer Leino Peyton-Jones Protzenko
WED 7/1 Leino Peyton-Jones Dreyer Gay
THR 7/2 Peyton-Jones Leino Gay Dreyer
FRI 7/3 Swamy Gay Swamy Leino
SAT 7/4 Gay Morrisett