Proceedings of the 32nd annual symposium on Foundations of computer science