Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science