- Association for Symbolic Logic (8)
- Henkin, Leon (2)
- International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science (2)
- Logic Colloquium (2)
- Tarski, Alfred, 1902- (2)
- University of California, Berkeley (2)
- Addison, J. W. (John West), 1930- (1)
- Conference on Alternative Semantics (1)
- Csirmaz, László (1)
- European Association for Theoretical Computer Science (1)
- Gabbay, Dov M., 1945- (1)
- IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing (1)
- International Symposium on the Theory of Models (1)
- Leblanc, Hugues, 1924- (1)
- Makowsky, Johann A., 1948- (1)
- Ravve, Elena V., 1963- (1)
- Rijke, Maarten de (1)
- Special Interest Group on Automata and Computability Theory of the Association for Computing Machinery (1)
- Symposium on Logic in Computer Science (1)
- Tarski Symposium (1)
- Temple University. College of Liberal Arts (1)
- Warsaw University (1)