“…ACM Special Interest Group for Automata and Computability Theory…”