University of Oregon University of Oregon

Oregon Programming Languages Summer School

Types, Logic, and Formal Methods

June 26-July 8, 2023

Types, Logic, and Formal Methods

June 23-July 5, 2025

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.