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).

  On program committee for:

  • 12th Annual ACM Symposium on Principles of Programming Languages (1985)
  • 4th Annual ACM Symposium of Principles of Distributed Computing (1985)
  • Conference on Logics of Programs (1985)
  • 19th Annual ACM Symposium on Theory of Computing (1987)
  • 28th Annual IEEE Symposium on Foundations of Computer Science (1987)
  • 3rd Annual IEEE Symposium on Logic in Computer Science (1988)
  • Symposium on Logical Foundations of Computer Science (Logic at Botik) (1989)
  • Fifth Jerusalem Conference on Information Technology (1990)
  • Second Bar Ilan Symposium on Foundations of Artificial Intelligence (1991)
  • Twelfth Annual ACM Symposium on Principles of Distributed Computing (1993)
  • Third Bar Ilan Symposium on Foundations of Artificial Intelligence (1993)
  • ICJAI Workshop on Principles of Hybrid Representation and Reasoning (1993)
  • AAAI 94 (area chair for knowledge representation)
  • Third Israel Symposium on Theory of Computing and Systems (1995)
  • Fourteenth Annual ACM Symposium on Principles of Distributed Computing (1995)
  • Tenth Amsterdam Colloquium (1995)
  • Fourth International Conference on Artificial Intelligence and Mathematics (1996)
  • Twelfth Annual Conference on Uncertainty in Artificial Intelligence (1996)
  • Fourteenth National Conference on AI (AAAI '97)
  • Thirteenth Annual Conference on Uncertainty in Artificial Intelligence (1997)
  • 2nd International Conference on Temporal Logic (1997)
  • Fifteenth Annual Conference on Uncertainty in Artificial Intelligence (1999)
  • Fifteenth Annual IEEE Symposium on Logic in Computer Science (2000)
  • Sixteenth Annual Conference on Uncertainty in Artificial Intelligence (2000)
  • Eighth Conference on Theoretical Aspects of Rationality and Knowledge (2001)
  • Eighteenth Annual Conference on Uncertainty in Artificial Intelligence (2002)
  • Nineteenth Annual Conference on Uncertainty in Artificial Intelligence (2003) (area chair)
  • Second World Congress of Game Theory (2004)
  • Fourth International Symposium on Imprecise Probabilities and their Applications (2005)
  • Ninth International Symposium on AI and Mathematics (2006)
  • Twenty-First National Conference on Artificial Intelligence (AAAI 2006)
  • Twenty-Second Annual Conference on Uncertainty in Artificial Intelligence (2006) (area chair)
  • Twenty-Third National Conference on Artificial Intelligence (AAAI 2006)
  • Twenty-Third Annual Conference on Uncertainty in Artificial Intelligence (2007) (area chair)
  • Fourteenth Workshop on Logic, Language, Information, and Computation (WoLLIC 2007)
  • Twenty-Fourth National Conference on Artificial Intelligence (AAAI 2007), Nectar Track
  • Third World Congress of Game Theory (2008)