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.

Lectures are held in 175 Knight Law Center, except lectures shown in reverse colors, which will be held in 100 Willamette Hall.
Unless noted,
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.
Evening Sessions are 7:00 PM until 8:30 PM.

Morning Afternoon
Date Session 1 Session 2 Session 3 Session 4 Evening
MON 6/22 Geuvers Azevedo Geuvers Azevedo

TUE 6/23
8:30AM-9:50AM
Azevedo
10:10AM-11:30AM
Geuvers
11:30AM-12:30PM
Durairajan
2:00PM-3:20PM
Pimentel

lab

mentoring
WED 6/24 Gardner Pimentel Azevedo Geuvers
THR 6/25 Pimentel Gardner Kozen lab mentoring
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 Protzenko Peyton-Jones Leino
WED 7/1 Leino Peyton-Jones Dreyer Gay
THR 7/2 Peyton-Jones Leino Gay Dreyer
FRI 7/3 10:00AM-11:20AM
Swamy
11:40AM-1:00PM
Leino
2:20PM-3:40PM
Swamy
4:00PM-5:20PM
Gay
SAT 7/4 Gay Morrisett