The program consists of a series of 32 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.


Morning Afternoon
Session 1 Session 2 Session 1 Session 2
THR 7/23 Bodik Danvy Might Danvy
FRI 7/24 Might Bodik Danvy Panel I
SAT 7/25 Bodik Danvy    
MON 7/27 Krintz Might Smaragdakis Gulwani
TUE 7/28 Smaragdakis Gulwani Krintz Lhotak
WED 7/29 Gulwani Bacon Smaragdakis Krintz
THR 7/30 Lhotak Cousot Bacon Cousot
FRI 7/31 Cousot Lhotak Bacon Panel II

Morning sessions begin at 9:00 AM and run until noon. Afternoon sessions begin at 2:00 PM and run until 5:00 PM.

On Tuesday, 7/28, at 8:00pm, Olivier Danvy will present a talk entitled Presentational tips and tricks in computer science: talks, articles and peer reviews.


  Contact: summerschool at