| Month | Day | Speaker | Paper |
| March | 28 | Matthai Philipose | Using MetaML: A Staged Programming Language. Tim Sheard. Tech report |
| April | 4 | Todd Millstein | A Temporal Logic Approach to Binding-Time Analysis. Davies, LICS96 |
| April | 11 | Jonathan Aldrich | Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions. Engler, Chelf, Chou, Hallem, OSDI 2000 |
| April | 18 | Keunwoo and Dmitry | F-Bounded Polymorphism for Object-Oriented Programming. Canning, Cook, Hill, Olthoff, Mitchell, FPCA 1989 |
| May | 2 | Sorin and Yana | Type Inference for Records in Natural Extension of ML. Didier Remy |