We will be talking about Computational Logic 2000 (CL2000, http://www.doc.ic.ac.uk/cl2000/) which took place in London, on 24-28 July.
We shall give an overview of the event with its many streams, invited talks, workshops and tutorials. We shall intersperse the description of the activities with personal comments and opinions. We shall also make some remarks on detected trends in the broad area of CL.