Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science - Baier, Christel (Association for Computing Machinery, 2022)