※一部利用できない機能があります
- IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing (5)
- Symposium on Logic in Computer Science (5)
- Association for Computing Machinery-SIGACT (2)
- Association for Computing Machinery. Special Interest Committee for Automation and Computability (1)
- Association for Symbolic Logic (1)
- European Association for Theoretical Computer Science (1)
- Institut national de recherche en informatique et en automatique (France) (1)
- Uniwersytet Warszawski (1)