[talks] Correction- Colloquium Speaker: Tandy Warnow, Wed Oct 5, 4:30pm