Other activities

• Referee for Acta Informatica, Annals of Mathematics and Artificial Intelligence, Artificial Intelligence, Computational Intelligence, Distributed Computing, Games and Economic Behavior, Information and Computation, Information and Control, Information Processing Letters, International Journal of Approximate Reasoning, International Journal of Game Theory, Journal of Computer and Systems Science, Journal of the Association for Computing Machinery, Journal of Philosophical Logic, Journal of Symbolic Logic, Linguistics and Philosophy, SIAM Journal on Computing, Synthese, Transactions on Programming Languages and Systems, and Theoretical Computer Science.

• Reviewed grant proposals for National Science Foundation, National Sciences and Engineering Research Council of Canada.

• Reviewer for Mathematical Reviews.

• On computer science committee for the National Sciences and Engineering Research Council of Canada, 1989; reviewed all grant applications to NSERC in Canada for 1989.

• On the board of directors of The Corporation for Theoretical Aspects of Reasoning about Knowledge, Cambridge, MA (a non-profit organization), 1991 - present; president of board as of March, 1994.

• Member of committee to select Knuth Prize, 1995.

• Member of ACM thesis nomination committee, Stanford University, 1995.

• Member of the ACM Publications Board, 1997 --.

• Chairman of the ACM working group on Publication Repositories, 1997-2003.

• Member of the LICS (IEEE Conference on Logic in Computer Science) advisory board, 1997-.

• Administrator, Computing Research Repository (CoRR), 1998-.

• Member, external review committee, Brown Computer Science department, 1999.

• Member, external review committee, University of Toronto Department of Computer Science, 2005.

• Member, advisory board, Logical Methods of Computer Science.

• Member, Army Research Laboratory Technical Assessment Board of the National Research Council, 2005-2007

• Councillor, Game Theory Society, 2001-.