Formal Methods in Mathematics /
Lean Together 2020

The Formal Methods in Mathematics component will run from Monday to Wednesday, and the Lean Together component will be on Thursday and Friday. Talks will be in the Giant Eagle Auditorium, Baker Hall A51, and lunches will be provided in Rangos Hall 3 in the University Center. There will be a conference dinner on Wednesday. The schedule below is still work in progress.