NSF Award: Travel: Oregon Programming Languages Summer School 2026: Types, Proofs, and Program Logics