University of Oregon

Oregon Programming Languages Summer School — July 22-August 3, 2013

Types, Logic, and Verification

All sessions will be held in Room 110 of the Knight Law Center on the University of Oregon campus.

Coq Boot Camp

For students who wish to brush up on their skills using the Coq Proof Assistant, the Boot Camp on Sunday, 7/21 starts at 9AM and lasts until 5PM with a 2-hour break from Noon to 2PM.

Lecture Schedule

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/22 Tolmach Harper Harper Hands-On Session
TUE 7/23 Pfenning Harper Tolmach Hands-On Session
WED 7/24 Harper Tolmach Pfenning Hands-On Session
THR 7/25 Tolmach Harper Ahmed Pfenning
FRI 7/26 Pfenning Ahmed Licata Hands-On Session
SAT 7/27 Pfenning Licata Ahmed Hands-On Session
SUN 7/28 Excursion
MON 7/29 Ahmed Licata Ahmed Hands-On Session
TUE 7/30 Licata Ahmed Peyton-Jones Hands-On Session
WED 7/31 Weirich Licata Zdancewic Hands-On Session
THR 8/1 Zdancewic Peyton-Jones Weirich Hands-On Session
FRI 8/2 Peyton-Jones Zdancewic Weirich Peyton-Jones
SAT 8/3 Weirich Peyton-Jones Zdancewic Hands-On Session

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