| Date | Paper/Topic | Discussion Leader |
| Jan 30 | Organizational Meeting | Everyone |
| Feb 6 | Theorem Proving | M. Scott |
| Feb 13 | Bit-C | Swaroop |
| Feb 19 | Theorem Proving (Cnt'd) | M. Scott |
| Feb 26 | Tutorial: Category Theory for Beginners | Everyone |
| Mar 4 | Wadler, Blott, How to Make Ad-Hoc Polymorphism Less Ad Hoc (POPL'89) | Wren |
| Mar 11 | Tutorial: Monad | Wren |
| Mar 18 | Spring Break | None |
| Mar 25 | Formal Prolog Semantics | Wes |
| Apr 1 | ETAPS, no seminar | None |
| Apr 8 | Kulas, A Rewriting Prolog Semantics (CL'00) | Wes |
| Apr 15 | Wobber, Yumerefendi, Abadi, Birrell, Simon, Authorizing applications in singularity (EuroSys'07) | M. Scott |
| Apr 22 | van Eekelen, Smetsers, Plasmeijer, Graph Rewriting Semantics for Functional Programming Languages (CSL'96) | Wren |
| Apr 29 | Coutts, Stewart, Leshchinskiy, Rewriting Haskell Strings (PADL'07) | Wren |
| May 6 | Abadi, Birrell, Harris, Isard, Semantics of Transactional Memory and Automatic Mutual Exclcusion (POPL'08) | David |