“…Symposium on Switching and Automata Theory…”