University of Oregon University of Oregon

Oregon Programming Languages Summer School

Types, Semantics, and Logic

June 26-July 8, 2023

Types, Semantics, and Logic

June 26-July 8, 2023

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 on June 26 through 30, in 110 Fenton Hall on July 1 through 4, in 175 Knight Law Center on July 5, and 101 Living Learning Center South on July 6 through 8.
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/26 Ghilezan Paykin Ghilezan Coq Lab
TUE 6/27 Paykin Ghilezan Ahmed Coq Lab
WED 6/28 Ahmed Paykin Ahmed Petrisan
THR 6/29 Ahmed Petrisan Paykin Marin / Girlando
FRI 6/30 Petrisan Marin / Girlando Petrisan Marin / Girlando
SAT 7/1 Marin / Girlando Petrisan Marin / Girlando
SUN 7/2 Free
MON 7/3 North Piskac Ryu Piskac
TUE 7/4 Ryu Piskac North Ryu
WED 7/5 North Ryu Piskac Blazy
THR 7/6 Weirich North Blazy
FRI 7/7 Weirich North Blazy Weirich
SAT 7/8 Blazy Weirich