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

University of Oregon Emergency Contacts

Participants violating State and local law will be subject to legal law enforcement procedures which may include fines, incarceration, or expulsion from the United States. No refunds will be issued as a result of law enforcement procedures.

Students violating University of Oregon Rules of Conduct may be subject to removal from University of Oregon grounds. No refunds will be issued as a result of enforcement of University of Oregon Rules of Conduct.

Students violating University of Oregon Housing Regulations will be able to attend the subsequent lectures, but must find their own living facilities. No refunds will be issued as a result of enforcement of University of Oregon Housing Regulations.