The Formal Methods in Mathematics component ran from Monday to Wednesday, and the Lean Together component was on Thursday and Friday.
All talks were in the Giant Eagle Auditorium, Baker Hall A51. Lunches were provided in Rangos Hall 3 in the University Center. There was a conference dinner on Wednesday, at the Silk Elephant in Squirrel Hill (map). Kevin Buzzard's talk was in the Frick Fine Arts Building.