Curator Gallery Talk: Formal Proof

  • Thursday, November 7, 2019 | 4pm

BSC’s Curator and Exhibitions Manager Jacqueline Saragoza McGilvray leads a walkthrough of Sterling Allen and Larry Graeber’s work in Formal Proof