Call for Papers
Papers on all aspects of the theory, implementation, and application of Computational Logic are invited, where Computational Logic is to be understood broadly as the use of logic in Computer Science.

Papers must describe original, previously unpublished research, be written and presented in English, not exceed 15 pages Springer LNCS style, and not be simultaneously submitted for publication elsewhere.


Authors should submit papers directly to one of the streams.

The Call for Papers for each of the streams can be found below:
 º  

Database Systems (DOOD2000)

 º  

Program Development (LOPSTR2000)

 º  

Knowledge Representation and Non-monotonic Reasoning

 º   Automated Deduction: Putting Theory into Practice
 º  

Constraints

 º   Logic Programming: Theory and Extensions
 º   Logic Programming: Implementations and Applications

The URLs for submission of papers for each of the streams can be found below:
 º  

Database Systems (DOOD2000)

 º  

Program Development (LOPSTR2000)

 º  

Knowledge Representation and Non-monotonic Reasoning

 º   Automated Deduction: Putting Theory into Practice
 º  

Constraints

 º   Logic Programming: Theory and Extensions
 º   Logic Programming: Implementations and Applications

Where there is some overlap between the coverage of several streams, authors should choose the stream they consider most appropriate. However, a paper considered to be out of scope by the Chair of the stream to which the paper was submitted and the Program Chair may be sent to another stream (after notifying the author) or else returned to the author, if no stream is appropriate.

There will be a single joint set of proceedings covering all seven streams. The proceedings will be published by Springer in the LNCS series.

Proceedings for ILP2000 will be published separately. Their call for papers can be found at:
  

http://www.cs.york.ac.uk/ILP-events/ILP-2000/#Call


Formatting information:

.
Papers must be no longer than 15 pages and must be in the Springer LNCS style. General information about the Springer LNCS series and the LNCS Authors' Instructions are available at the Springer LNCS/LNAI Home Page.


Procedure for Submitting Camera-Ready CL2000 Papers:

Please read the following instructions carefully to ensure you prepare your paper according the Springer guidelines. Also make sure you send all the material that will be needed to produce the proceedings.

 1. 

Follow carefully the Authors' Instructions at:

http://www.springer.de/comp/lncs/authors.html

to achieve uniformity in the appearance of each paper and to make sure that, overall, the proceedings are of high quality. Each paper is strictly limited to 15 pages.

 2. 

Each paper must be accompanied by a signed copyright form which can be found at:

http://www.springer.de/comp/lncs/copyrigh.html

The signed form should be posted, along with the hard copy of your paper, to the address below. Only one author need sign the form.

 3. 

Post a single-sided, hard copy (an original - not a photocopy or fax) of your paper to the address below by May 15th. This is a hard deadline.

Professor J.W. Lloyd
Computer Sciences Laboratory
Research School of Information Sciences & Engineering
The Australian National University
Canberra
ACT 0200
Australia

 4. 

Submit the electronic version of your paper by anonymous ftp by May 15th. This is a hard deadline.

The ftp site is: csl.anu.edu.au

Your paper should be deposited in the directory: /pub/CL2000/papers

You will be able to check that your paper has been deposited safely by the command "dir <filename>". You will also be able to read back the file by the command "get <filename>".

The preferred document preparation system is LaTeX2e. You should submit the source files and the PS and DVI files for your paper, according to the following extract from the Springer instructions to authors:

"Please submit to the volume editors, together with your own single-sided printout of the final version of your contribution, your source (input) files, e.g. TEX files for the text and PS or EPS files for figures, the final DVI file (for papers prepared using LaTeX or TeX), the final PS file, and, if possible, a PDF file of the final version of your contribution. If you have prepared your paper using a word processing system other than LaTeX or TeX, please also submit RTF files. When generating the PS file please avoid using the option "reverse order". Make sure that the text is identical in all cases."

Since you will be submitting more than one file, please tar all your files and then gzip them. The .tar.gz file should then be deposited by anonymous ftp at the above site in the directory /pub/CL2000/papers. The filename for this file should be constructed by concatenating the last names of all the authors together. So a paper by Smith and Jones would end up in the file:

smithjones.tar.gz

If there is more than one paper with the same set of authors, append the digits 1, 2, and so on, to distinguish the different papers. Thus:

smith1.tar.gz
smith2.tar.gz


If you have any queries about the submission procedure, please contact John Lloyd at jwl@csl.anu.edu.au


Deadlines:

 º  

Papers must be submitted by 21st February, 2000

 º  

Authors will be notified of acceptance/rejection by 15th April, 2000

 º  

Camera-ready versions must be received by 15th May, 2000

 º  

Conference begins on 24th July, 2000