The workshop "Big Data in Pure Mathematics 2022": https://math-data.github.io/big-data-pure-math-2022/