Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science