The colloquium presentation will be at 3:30 on Thursday, June 2. This means we need (collectively!) to start taking down the machines around 2:30.