Colloquium: Tracy Slatyer (MIT)