[talks] Colloquium Speaker: Tandy Warnow, Wed Oct 5, 12:30pm