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

Participant Photo Album

Song Videos

Part 1 | Part 2 | Part 3 | Part 4 | Part 5 | Part 6 | Part 7 | Part 8 | Part 9 | Part 10 | Part 11 | Part 12 | Part 13 | Part 14 | Part 15 | Part 16 | Part 17 | Part 18 | Part 19 | Part 20 | Part 21 | Part 22 | Part 23 | Part 24 | Part 25 | Part 26 | Part 27 | Part 28 | Part 29 | Part 30 | Part 31

Dancing Video

Part  1