※一部利用できない機能があります
- Association for Symbolic Logic (4)
- European Association for Theoretical Computer Science (4)
- IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing (4)
- Symposium on Logic in Computer Science (4)
- Association for Computing Machinery. Special Interest Committee for Automation and Computability (1)
- Fields Institute for Research in Mathematical Sciences (1)
- Le Centre de Recherches Mathématiques (CRM) (1)
- University of Ottawa (1)
- Uniwersytet Warszawski (1)