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

Technical Lectures

The sessions are non-overlapping, so participants will have the opportunity to attend all lectures. Each lecture is 80 minutes, including time for questions.

Lectures are held in 175 Knight Law Center
Session 1 is 9:00 AM until 10:20am.
Session 2 is 10:40 AM until noon.
Session 3 is 2:00 PM until 3:20 PM.
Session 4 is 3:40 PM until 5:00 PM.

Morning Afternoon
Date Session 1 Session 2 Session 3 Session 4
MON 6/23 Komel Pientka De Paiva Jia
TUE 6/24 Komel Pientka De Paiva Jia
WED 6/25 Komel Pientka De Paiva Jia
THR 6/26 Pientka McKinley Komel Fisher
FRI 6/27 Komel McKinley Amin Fisher
SAT 6/28 Amin Pientka Amin
SUN 6/29 Free
MON 6/30 Wing Kesner North Xie
TUE 7/1 Kesner North Torlak Xie
WED 7/2 Kesner North Urban Xie
THR 7/3 Vazou North Kesner Urban
FRI 7/4 Vazou North Kesner Urban
SAT 7/5 Vazou Urban