Proceedings of the 2015 30th Annual ACMIEEE Symposium on Logic in Computer Science (LICS) - Association for Computing Machinery-Digital Library; ACM Special Interest Group on Logic and Computation (IEEE Computer Society, 2015)