Symposium on Theoretical Aspects of Computer Science (STACS)
International Colloquium on Automata Languages and Programming (ICALP)
IEEE Symposium on Foundations of Computer Science (FOCS)