2015 IEEE 56th Annual Symposium on Foundations of Computer Science