ICLP 2002 - Call for Papers

Eighteenth International Conference on Logic Programming


Copenhagen, Denmark
July 29th - August 1, 2002
http://floc02.diku.dk/ICLP/

ICLP 2002, the Eighteenth International Conference on Logic Programming will be be held this year as part of the 2002 Federated Logic Conference (http://floc02.diku.dk/) in conjunction with CADE, CAV, FME, LICS, RTA and TABLEAUX.

Topics

Since the first ICLP, held in Marseilles in 1982, ICLP has been the premier international conference for presenting research into logic programming. Original papers are sought in all areas of logic programming including (but not restricted to):

Theory Implementation
Semantic Foundations Compilation
Formalisms Memory Management
Non-monotonic Reasoning Virtual Machines
Knowledge Representation Parallelism
Language Issues Environments
Constraints Program Analysis
Concurrency Program Transformation
Objects Validation and Verification
Coordination Debugging
Mobilility
Higher Order Applications
Types
Modes Deductive Databases
Programming Techniques Software Engineering
Natural Language
Web tools
Internet Agents
Artificial Intelligence

Papers describing innovative applications of logic programming (in the broadest sense, e.g. including constraint programming, non-monotonic systems, etc.) are particularly sought. We welcome submission in, but not limited to, the following topics: surveys of an application area, problems to which logic programming may be applied, experience in applying logic programming, software engineering aspects of logic programming and areas where further research is required to meet industrial needs. There will be an award for the best application paper sponsored by IF/Prolog.

Submission

Papers must describe original, previously unpublished research, be written and presented in English, not exceed 15 pages (A4 or letter format, up to 5,000 words), and not be simultaneously submitted for publication elsewhere. The proceedings will be published by Springer Verlag in the Lecture Notes in Computer Science series. Authors are strongly encouraged to use LaTeX2e and the Springer llncs class file, available at http://www.springer.de/comp/lncs/authors.html.

Submission is Web-based. In order to submit a paper, authors should upload it via the web at http://www.cs.mu.oz.au/~pjs/ICLP2002/ where more detailed instructions are given. If submission through the Web is not possible, five hard copies may be sent to the program chair. Authors intending to submit a paper are requested to submit an abstract of their paper, through the same web interface, before February 10, to help expedite the paper assignment process.

Associated Workshops

Several pre-conference workshops will take place on July 27 and 28, as well as two parallel workshops on July 31 and August 1. See http://floc02.diku.dk/ICLP/ for a list.

Important dates

Program Committee