- ACM Special Interest Group for Automata and Computability Theory (9)
- IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing (9)
- Symposium on Foundations of Computer Science (4)
- ACM Symposium on Theory of Computing (3)
- Association for Symbolic Logic (1)
- Brown University (1)
- European Association for Theoretical Computer Science (1)
- Pennsylvania State University (1)
- Rice University. Dept. of Mathematical Sciences and Electrical Engineering (1)
- Symposium on Logic in Computer Science (1)
- Symposium on Switching and Automata Theory (1)
- University of California, Berkeley. Dept. of Electrical Engineering and Computer Sciences (1)
- University of Colorado, Boulder (1)
- University of Houston. Dept. of Computer Science (1)
- University of Michigan (1)
- University of New Mexico (1)
- University of New Orleans (1)