I'll be holding a torture chamber Monday, 5/23 for my MFPS talk "A resource analysis of the pi-calculus", about a new full abstraction result. I've reserved WVH 366 from 2-3:30pm.