SIGACT NEWS: PUBLISHED BY THE ACM SPECIAL INTEREST GROUP ON AUTOMATA AND COMPUTABILITY THEORY