LINGUIST List 11.1454

Fri Jun 30 2000

Confs: Computational Logic (CL2000)

Editor for this issue: Jody Huellmantel <>

Please keep conferences announcement as short as you can; LINGUIST will not post conference announcements which in our opinion are excessively long.


  1. F. van Raamsdonk, Computational Logic (CL2000)

Message 1: Computational Logic (CL2000)

Date: Fri, 30 Jun 2000 16:39:30 +0200 (MET DST)
From: F. van Raamsdonk <>
Subject: Computational Logic (CL2000)

 First International Conference on Computational Logic, CL2000
 Imperial College, London, UK 
 24th to 28th July, 2000 

CL2000 is the first conference in a major new series of annual
international conferences bringing together various communities
of researchers who have a common interest in Computational Logic, 
where Computational Logic is to be understood broadly as the use of
logic in Computer Science. 

The conference programme features 8 invited papers, 
86 accepted papers, 12 tutorials and 7 in-line workshops.

Further information is available at the conference web site: 

where you can also register for the conference, and make
hotel reservations.

Note that hotel accommodation in London at the time of the 
conference will be in very heavy demand because of several 
large international conferences and trade fairs taking place 
at the same time. Participants are strongly advised to make 
their hotel reservations AS SOON AS POSSIBLE.

CL2000 is collocating with the following conferences: 

DOOD2000: 6th Int'l Conference on Rules and Objects in Databases 
ILP2000: 10th Int'l Workshop on Inductive Logic Programming 
LOPSTR2000: 10th Int'l Workshop on Logic-based Program Synthesis 
 and Transformation 

CL2000 includes seven streams covering various subfields of
computational logic, each with 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 
ILP2000 will be collocating as a separate conference.
Mail to author|Respond to list|Read more issues|LINGUIST home page|Top of issue