- IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing (14)
- Symposium on Logic in Computer Science (12)
- ACM Special Interest Group for Automata and Computability Theory (5)
- Association for Symbolic Logic (5)
- European Association for Theoretical Computer Science (5)
- ACM Symposium on Theory of Computing (2)
- Association for Computing Machinery-SIGACT (2)
- Association for Computing Machinery (1)
- Association for Computing Machinery. Special Interest Committee for Automation and Computability (1)
- Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands) (1)
- Institut national de recherche en informatique et en automatique (France) (1)
- University of Southern California. Computer Science Dept. (1)
- University of Wisconsin--Milwaukee. Dept. of Electrical Engineering and Computer Science (1)
- Uniwersytet Warszawski (1)
- Vrije Universiteit te Amsterdam (1)