Text this: Annual Symposium on Switching & Automata Theory :