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.
schedule
| 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.