- European Mathematical Society EMS.
- American Mathematical Society AMS.
- European Association for Logic, Language and Information FoLLI.
- European Association for Computer Science Logic EACSL.
- European Association for Theoretical Computer Science EATCS.
- Wiener Forum für Analytische Philosophie WFAP.
- Computational logic group
- Theory and logic group
- Institute of Theoretical Computer Science
- Kurt Gödel Research Center
- The Kurt Gödel Society
- Institute for Research in Fundamental Sciences
- Isfahan Mathhouse
- The Iranian Mathematical Society
- ASL - The Association for Symbolic Logic
- IPM Logic Group
- Logic and set theory around the world