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