2014 IEEE 29th Conference on Computational Complexity (CCC)