Imperial College, London, UK
to 28th July, 2000
CL2000 is the first conference in a major new series of annual international conferences bringing together the various communities of researchers who have a common interest in Computational Logic.
The CL series is sponsored by the Association for Logic Programming and the ESPRIT Network of Excellence in Computational Logic.
The series complements two recent important developments in Computational Logic:
|ACM Transactions on Computational Logic|
|International Federation for Computational Logic|
CL2000 will include seven streams covering various subfields of computational logic, each with its own separate Program Committee.
CL2000 is collocating with the following conferences:
|DOOD2000:||6th International Conference on Rules and Objects in Databases|
|ILP2000:||10th International Workshop on Inductive Logic Programming|
|LOPSTR2000:||10th International Workshop on Logic-based Program Synthesis and Transformation|
DOOD2000 and LOPSTR2000 will be streams within CL2000. ILP2000 will be collocating as a separate conference.
Moreover, the former ICLP conference series is now integrated into CL2000.
|General Chair:||Marek Sergot|
|Program Chair:||John Lloyd|
|Local Organisers:||Frank Kriwaczek and Francesca Toni|
|Publicity Chair:||Femke van Raamsdonk|
Streams and Stream Chairs:
Database Systems (DOOD2000)
|Program Development (LOPSTR2000)|
|Knowledge Representation and Non-monotonic Reasoning|
|Luis Moniz Pereira|
|Automated Deduction: Putting Theory into Practice|
|Ulrich Furbach and Manfred Kerber|
|Logic Programming: Theory and Extensions|
|Logic Programming: Implementations and Applications|
- Seven streams (inc. DOOD2000 & LOPSTR2000), with separate Program Committee for each stream
- One keynote speaker
- Seven invited speakers
- Twelve advanced tutorials (in three parallel sessions)
- 150 submitted papers for the streams (in up to four parallel sessions)
- 10 to 25 papers per stream
- A two-hour panel to end the conference
- First four mornings taken up with invited talks and advanced tutorials
- Afternoons of first four days and most of last day taken up with submitted papers (with 1/2 hour slots for each paper)
- Industrial exhibition (in parallel)
Call for Papers
Papers on all aspects of the theory, implementation, and application of Computational Logic are requested, 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 5,000 words, 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:
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.
- Database Systems (DOOD2000)
- Program Development (LOPSTR2000)
- Knowledge Representation and Non-monotonic Reasoning
- Automated Deduction: Putting Theory into Practice
- Logic Programming: Theory and Extensions
- Logic Programming: Implementations and Applications
- Papers must be submitted by 1 February, 2000
- Authors will be notified of acceptance/rejection by 1 May, 2000
- Camera-ready versions must be received by 1 June, 2000
- Conference begins on 24 July, 2000