“...Symposium on Foundations of Computer Science Miami Beach, Florida)...”