Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing - Leonardi, Stefano (Association for Computing Machinery, 2022)