※一部利用できない機能があります
- IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing (9)
- Symposium on Logic in Computer Science (9)
- European Association for Theoretical Computer Science (2)
- Academy of Finland (1)
- Association for Symbolic Logic (1)
- Cadence (1)
- Fields Institute for Research in Mathematical Sciences (1)
- Forall Systems IBM (1)
- Indiana University (1)
- Institute of Electrical and Electronics Engineers, Inc. (1)
- Le Centre de Recherches Mathématiques (CRM) (1)
- University of Ottawa (1)