| Date | Paper/Topic | Discussion Leader |
| 9/10 | Organizational Meeting | Everyone |
| 9/16 | Static heap safety: Sexy Types | Wren |
| 9/23 | Dependent Types (Part I): Dependent ML (slides) | Scott |
| 9/30 | Dependent Types (Part II): ATS (slides) | Scott |
| 10/7 | Mozart/OZ | Wes |
| 10/14 | Program verification with SMT solvers | Jason |
| 10/21 | (Co)Induction in Theorem Provers | Scott D. |
| 10/28 | Multi-level programming in Java | Zach/All |
| 11/4 | Constraints-Free Concurrent Programming (Rho calculus) | Wes |
| 11/11 | Multi-stage programming in MetaML | Scott |
| 11/18 | More on MetaML | Scott |
| 11/25 | DYNA - General Discussion | Wren/Wes |