[talks] CS Colloquium: John Ingraham, Thursday, Nov 10 at 12:30pm