LICS proceedings of the 2015 30th annual ACM/IEEE Symposium on Logic in Computer Science / (IEEE Computer Society,)