University of Oregon

Oregon Programming Languages Summer School — July 16-28, 2012

Logic, Languages, Compilation, and Verification

The program consists of a series of 41 lectures and 8 hands-on sessions, 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
date Session 1 Session 2 Session 1 Session 2
MON 7/16 Harper Pfenning Harper Hands-On Session
TUE 7/17 Pfenning Harper Hands-On Session Hands-On Intro to Coq
WED 7/18 Pfenning Harper Curien Hands-On Session
THR 7/19 Pfenning Harper Curien Harper
FRI 7/20 Curien Constable Awodey Hands-On Session
SAT 7/21 Constable Pierce Awodey Hands-On Session
SUN 7/22 Excursion
MON 7/23 Pierce Ahmed Awodey Constable
TUE 7/24 Pierce Ahmed Awodey Hands-On Session
WED 7/25 Ahmed Pierce Myers Leroy
THR 7/26 Myers Ahmed Leroy Hughes
FRI 7/27 Ahmed Myers Leroy Hughes
SAT 7/28 Leroy Hughes Myers Hughes

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

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