Program Committees

Program chairman for:

• Conference on Theoretical Aspects of Reasoning About Knowledge (1986)
• 5th Annual ACM Symposium on Principles of Distributed Computing (1986)
• 23rd Annual ACM Symposium on Theory of Computing (1991)
• 16th Annual IEEE Symposium on Logic in Computer Science (2001)
• 20th Annual Conference on Uncertainty in AI (2004) (with D. M. Chickering).

Member of numerous program committees.