[om-a] CL2000: deadline postponed to February 21st

[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/
                       
     
Due largely to the difficulties caused by related conferences having 
submission dates at about the same time, the submission deadline for 
CL2000 is postponed to
 
                   Monday 21st February, 2000.
                   
 
If you wish to take advantage of this extension, you are asked to email 
the Chair of the Stream to which you intend to submit the title, author(s),
abstract, and keywords for your paper *as soon as possible*. 
 
Highlights of the conference include 8 invited speakers, 12 tutorials, and 
a strong workshop programme held in-line with the conference. Collocating
with CL2000 are DOOD2000, LOPSTR2000, and ILP2000. Full details about the 
conference, including the email addresses of the Stream Chairs, are given 
at the above URL. 
--
om-announce at openmath.org  -  public announcements concerning OpenMath
Post discussion to om at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-announce-owner at openmath.org for assistance with any problems