2013 IEEE Conference on Computational Complexity