ICLP 2002

International Conference on Logic Programming
Copenhagen, Denmark, July 29th - August 1st, 2002

The international conference on logic programming (ICLP) has been the premier conference for presenting research in logic programming since it was first held in Marseilles in 1982. The conference scope is the broadest possible interpretation of logic programming: theory, implementations and architectures, environments and language extensions, as well as applications such as natural language processing, knowledge representation, nonmonotonic reasoning, databases, and constraint programming. Some prominent topics in recent years include: the integration of logic and constraint programming, applications of logic programming in software engineering, and the component-based and Internet-based development.

ICLP is sponsored by IF Computer GmbH.

Proceedings online

Users with Springer subscriptions can find all ICLP papers online at http://link.springer.de/link/service/series/0558/tocs/t2401.htm.

Travel grants

A limited amount of travel grants for students or others who are in serious need are available from the Association for Logic Programming. Please contact the Conference Coordinator of ALP Gopal Gupta <> for details regarding how to apply.

Banquet speaker

  • Veronica Dahl, Simon Fraser U, Canada

Invited speakers

Invited tutorials

  • Thom Frühwirth, U Munich, Germany
    Constraint handling rules
  • Abhik Roychoudhury, National U of Singapore and I. V. Ramakrishnan, State U of New York-Stony Brook, USA
    Program transformations for automated verification
  • Miroslaw Truszczynski, U Kentucky, USA
    Answer set programming
  • David S. Warren, State U of New York-Stony Brook, USA
    Tabled logic programming

Program Committee

Conference Chair

Henning Christiansen <>, U Roskilde, Denmark

Workshop Coordinator

Henning Christiansen <>
Roskilde University
Computer Science Dept.
PO Box 260
DK-4000 Roskilde, DENMARK
+45 46 74 38 32