Other activities
Next: Honors
Up: Professional Activities
Previous: Invited talks
-
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-.
Last updated, October 2005 - Joe Halpern