[mercury-users] CL2000: 3rd call for papers

[Raamsdonk van F]

           *** 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

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------