Forwarded message from [femke@cs.vu.nl (Raamsdonk van F)] sent originally on Wed, 27 Oct 1999 17:19:29 +0200 (MET DST): : *** apologies for multiple copies *** : : First International Conference on Computational Logic, CL2000 : Imperial College, London, UK : 24th to 28th July, 2000 : : 2nd call for papers : : 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. : : 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 will include 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 : : The last three streams effectively constitute the former ICLP : conference series that will be now integrated into CL2000. : : ILP2000 will be collocating as a separate conference. : : 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. : : Provisional deadlines: : 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 : : Further information is available at the conference web site: : : http://www.doc.ic.ac.uk/cl2000 :
-- Wirtschaftsinformatik, FB5, Universitaet GH Essen Gustaf.Neumann@uni-essen.de, neumann@computer.org http://nestroy.wi-inf.uni-essen.de/Neumann.html