- Abramsky, Samson, 1953- (8)
- Maibaum, Thomas S. E., 1947- (7)
- Gabbay, Dov M., 1945- (5)
- Colloquium on Trees in Algebra and Programming (2)
- International Joint Conference on Theory and Practice of Software Development (2)
- Advances in Distributed Computing (1)
- Colloquium on Combining Paradigms for Software Development (1)
- International Conference on Typed Lambda Calculi and Applications (1)