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
Asian Computer Science Conferences (ASIAN), Steering Committee
Association for Logic Programming, Executive Council Member (1999-2002)