The program consists of a series of 60 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.
schedule
| Morning | Afternoon | Evening | |||
| Session 1 | Session 2 | Session 1 | Session 2 | ||
| THR 6/16 | Pfenning | Harper | Melliès | Pfenning | |
| FRI 6/17 | Harper | Melliès | Pfenning | Melliès | |
| SAT 6/18 | Melliès | Harper | Melliès | Pfenning | Student Presentations |
| SUN 6/19 | Harper | Pierce | Free Time | ||
| MON 6/20 | Harper | Benton | Pierce | Benton | Coq Labs |
| TUE 6/21 | Pierce | Scott | Benton | Pierce | Coq Labs |
| WED 6/22 | Pierce | Benton | Coq Labs | Scott | |
| THR 6/23 | Appel | Morrisett | Scott | Benton | |
| FRI 6/24 | Morrisett | Appel | Ahmed | Appel | Student Presentations |
| SAT 6/25 | Appel | Morrisett | Appel | Ahmed | |
| SUN 6/26 | Excursion | ||||
| MON 6/27 | Ahmed | Morrisett | Ahmed | Herbelin | |
| TUE 6/28 | Curien | Ahmed | Leroy | Herbelin | Harrison |
| WED 6/29 | Curien | Herbelin | Leroy | Curien | Constable |
| THR 6/30 | Herbelin | Curien | Constable | Leroy | Student Presentations |
| FRI 7/1 | Leroy | Curien | Leroy | Constable | |
Morning sessions begin at 9:00 AM and run until noon. Afternoon sessions begin at 2:00 PM and run until 5:00 PM. Evening sessions begin at 7:00 PM.