Monday 9/28, 11:30-1:30, WVH164 Ian will present on the foundations of Boyer-Moore theorem provers (a family including ACL2). Please join us! -- Upcoming schedule: 10/5 Semantic paradigms - Aaron 10/12 Columbus day 10/19 Categories for semantics - Dan