IEEE Annual Symposium on Switching and Automata Theory