*** apologies for multiple copies *** First International Conference on Computational Logic, CL2000 Imperial College, London, UK 24th to 28th July, 2000 http://www.doc.ic.ac.uk/cl2000 3rd call for papers The deadline for submission of papers to CL2000 is FEBRUARY 1, 2000. 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 can be submitted to one the following seven streams of CL2000 (each stream has its own separate program committee): - 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 last three streams effectively constitute the former ICLP conference series that will be now integrated into CL2000. Please note the following: - Further details on formatting of the papers, publisher, etcetera are available via the webpage of the conference. - Authors will be notified of acceptance/rejection by 15th April, 2000. - Camera-ready versions must be received by 15th May, 2000. CL2000 is co-locating with ILP2000, the 10th International Conference on Inductive Logic Programming. The call for papers of ILP2000 (deadline for submission of papers: 29 March 2000) and further information is available via http://www.cs.york.ac.uk/ILP-events/ILP-2000