University of Oregon

Oregon Programming Languages Summer School — June 15-25, 2010

Logic, Languages, Compilation, and Verification

Registration Deadline: April 30, 2010

The program consists of a series of 32 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
Session 1 Session 2 Session 1 Session 2
TUE 6/15 Pfenning Harper Pfenning Harper
WED 6/16 Harper Tolmach Pfenning Tolmach
THR 6/17 Tolmach Pfenning Tolmach Harper
FRI 6/18 Pierce Datta Pierce Datta
SAT 6/19 Datta Pierce Datta Pierce
MON 6/21 Pierce Constable Pierce Constable
TUE 6/22 Leroy Morrisett Constable McBride
WED 6/23 Morrisett Leroy Constable McBride
THR 6/24 Leroy McBride Leroy Morrisett
FRI 6/25 Morrisett Leroy McBride McBride

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