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.