“...Annual symposium on foundations of computer science New York)...”