Proceedings : 2015 30th annual ACM/IEEE symposium on Logic in Computer Science, LICS 2015, 6-10 July 2015, Kyoto, Japan - Symposium on Logic in Computer Science (IEEE Computer Society, 2015)