Selected Professional Activities

Editor:

Journal of Logic Programming, Elsevier, 1988 -- 2000.
ACM Transactions on Programming Languages and Systems, May 2003 --
Journal of Functional & Logic Programming, MIT Press, 1994 --
Theory and Practice of Logic Programming, Cambridge University Press, 2000 --

Program Committee Member:

IEEE Symposium on Logic in Computer Science (LICS), 1989
ACM Symp. on Priniciples of Programming Languages (POPL), 1995, 2003
Int. Joint Conference on Artificial Intelligence (IJCAI), 2001
Int. Conf. on Logic Programming (ICLP), 1991, 92, 94, 95, 97, 2002
Int. Conf. on Principles & Practice of Constraint Programming (CP), 2000
International Conf on Software Engineering (ICSE), 98.
N. American Logic Programming Conference, 1989, 90
AAAI Stanford Spring Symposium on Constraint Based Reasoning, 1991
Int. Conf. Algebraic and Logic Programming (ALP), 1992, 96
Workshop on Principles & Practice of Constraint Programming (PPCP), 1993
Int. Conf. on Constraints in Computational Logics, 1994
Int. Conf on Rewriting Techniques and Applications (RTA), 1995
Int. Conf. on Logical Foundations of Computer Science, 1997
Int. Conf. on Principles & Practice of Constraint Programming (CP), 1996, 97
17th Conf on Foundations of S/W Tech & Theoretical CS (FST/TCS), 97
Int. Conf. on Practical Aspects of Constraint Technology (PACT), 1995, 96
Pacific Rim International Conference on Artificial Intelligence (PRICAI), 98.
The Third Fuji Int. Symp on Functional and Logic Programming, 98.
Joint International Conf on Logic Programming (JICLP), 98, (PC Chair).
IEEE International Conf on Computer Languages (ICCL), 98.
Australian Joint Conference on Artificial Intelligence, 98, 99
Int. Conf. on Principles & Practice of Declarative Programming (PPDP), 99
Int. Conf. on Principles & Practice of Constraint Programming (CP), 99 (PC Chair)
Asian Computing Science Conf., 1995, 96 (PC Chair), 2000 (General Chair)
First Int. Conf. on Computational Logic (CL), 2000
Int Symp on Practical Aspects of Declarative Languages (PADL), 2002, 2005
Third Int Workshop on Verification, Model-Checking and Abstract Interpretation, 2002.
ACM Conf on Prog Language Design & Implementation (PLDI), 2005

Other:

Organizing Committee, Conferences on Principles and Practice of Constraint Programming
Asian Computer Science Conferences (ASIAN), Steering Committee
Association for Logic Programming, Executive Council Member (1999-2002)

Invited Speaker:

5th Israel AI Conference, Tel Aviv, 1989
AAAI Stanford Spring Symposium on Constraint Based Reasoning, Palo Alto, 1991
Int. Logic Programming Symposium, Portland, USA, 1995
4th Intl. Conf on Principles and Practice of Constraint Programming (CP), Pisa, Oct 1998.
Australian Computer Science Conference, 2001
Asian Symposium on Programming Languages and Systems, Taipei, Nov 2004
Sixth Int Conference on Formal Engineering Methods, Seattle, Nov 2004