A reminder that Holger Mitterer’s colloquium is Feb 2 at 3:30 in Educ 627, as previously described here.