“...Annual Symposium on Foundations of Computer Science St. Louis, Missouri)...”