Summer Colloquium 2021 Programming