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.