University of Oregon University of Oregon
One Stop Apply Visit Give

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

Week 1
2026 OPLSS Group
Week 2 - λ x. x
2026 OPLSS Group

Speakers

Click to enlarge
$full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict

Participants

Click to enlarge
$full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict $full_pict