“...Symposium on Analytic Computational Complexity, Carnegie-Mellon University...”