Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing