- IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing (13)
- Symposium on Foundations of Computer Science (9)
- Symposium on Logic in Computer Science (3)
- ACM Special Interest Group for Automata and Computability Theory (1)
- Association for Symbolic Logic (1)
- European Association for Theoretical Computer Science (1)
- Structure in Complexity Theory Conference (1)
- University of Oregon (1)