Formal Methods in Mathematics /
Lean Together 2020

The following people spoke in Formal Methods in Mathematics:

The following people spoke in Lean Together:

The following people gave contributed talks:

The following people spoke in the Formal Abstracts session:

There was an associated colloquium at the University of Pittsburgh:

The following people also participated:

Others watched some of the talks remotely, streaming them live on Zoom.

This group photo was taken on Wednesday afternoon:

Group Photo

Here we are all Leaning Together:

Group Photo

You can find the full images in a Dropbox folder. These pictures should be credited to Carnegie Mellon University.