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

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

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)

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