- IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing (5)
- Symposium on Logic in Computer Science (5)
- European Association for Theoretical Computer Science (2)
- Association for Symbolic Logic (1)
- Association of Symbolic Logic (1)
- Fields Institute for Research in Mathematical Sciences (1)
- Le Centre de Recherches Mathématiques (1)
- Special Interest Group on Automata and Computability Theory of the Association for Computing Machinery (1)
- University of Ottawa (1)
- Warsaw University (1)