- ACM Special Interest Group for Automata and Computability Theory (11)
- ACM Symposium on Principles of Programming Languages (3)
- Association for Computing Machinery (3)
- ACM Special Interest Group in Programming Languages (2)
- ACM Special Interest Group on Algorithms and Computation Theory (2)
- IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing (2)
- ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (1)
- ACM Special Interest Group for Algorithms and Computation Theory (1)
- ACM Special Interest Group for the Management of Data (1)
- ACM Special Interest Group on Programming Languages (1)
- ACM-SIAM Symposium on Discrete Algorithms (1)
- Association for Computing Machinery. Special Interest Committee for Automation and Computability (1)
- Association for Symbolic Logic (1)
- European Association for Theoretical Computer Science (1)
- SIAM Activity Group on Discrete Mathematics (1)
- SIGART (1)
- SIGGRAPH (1)
- Special Interest Group on Algorithms and Computability Theory (1)
- Symposium on Computational Geometry (1)
- Symposium on Foundations of Computer Science (1)
- Symposium on Logic in Computer Science (1)
- University of California, Berkeley. Dept. of Electrical Engineering and Computer Sciences (1)