PL Seminar, Jr. Thursday, June 2, 2005 2-4pm, WVH 166 ====================== Felix and Stevie will present on linear logic and linear type systems. Note that we're back in 166 this week (and for the rest of the summer). Upcoming presentations: ======================= June 9: Joe Marshall: CLOS Tutorial June 16: Richard Cobbe: Concurrency Unlocked Richard