REMINDER: There will be a PL Jr talk tomorrow (8/18). WVH *166*, 1-3pm Aaron on All-Termination(T) This is the last of the scheduled talks. There are a couple more weeks of summer left. If you're wrapping up something interesting, tell us about it! Send me an email if you'd like to give a talk. Cheers, Aaron