[talks] Colloquium Speaker: Tandy Warnow, Today, 4:30pm