University of Oregon

10th Annual Oregon Programming Languages Summer School — June 16-July 1, 2011

Types, Semantics and Verification

The program consists of a series of 60 lectures including foundational theory, advanced techiniques and practical applications. The sessions are non-overlapping, so participants will have the opportunity to attend all lectures. Each lecture is 80 minutes, including time for questions. The lectures start at 9:00 am and go until 5:00 pm with a 2 hour break for lunch and a 15 minute break between sessions.


Morning Afternoon Evening
Session 1 Session 2 Session 1 Session 2
THR 6/16 Pfenning Harper Melliès Pfenning
FRI 6/17 Harper Melliès Pfenning Melliès
SAT 6/18 Melliès Harper Melliès Pfenning Student Presentations
SUN 6/19 Harper Pierce Free Time
MON 6/20 Harper Benton Pierce Benton Coq Labs
TUE 6/21 Pierce Scott Benton Pierce Coq Labs
WED 6/22 Pierce Benton Coq Labs Scott
THR 6/23 Appel Morrisett Scott Benton
FRI 6/24 Morrisett Appel Ahmed Appel Student Presentations
SAT 6/25 Appel Morrisett Appel Ahmed
SUN 6/26 Excursion
MON 6/27 Ahmed Morrisett Ahmed Herbelin
TUE 6/28 Curien Ahmed Leroy Herbelin Harrison
WED 6/29 Curien Herbelin Leroy Curien Constable
THR 6/30 Herbelin Curien Constable Leroy Student Presentations
FRI 7/1 Leroy Curien Leroy Constable

Morning sessions begin at 9:00 AM and run until noon. Afternoon sessions begin at 2:00 PM and run until 5:00 PM. Evening sessions begin at 7:00 PM.

Copyright © University of Oregon Department of Computer and Information Science. All rights reserved.
Privacy Policy