[talks] CS Colloquium: John Ingraham, TODAY at 12:30pm