SSP Group Meeting
Wednesday, Aug 9th, 11am-12pm
Division of Informatics, 80 South Bridge, Room F13


Computational Logic 2000

Daniela Carbogim, Virginia Brilhante and Wamberto Vasconcelos

We will be talking about Computational Logic 2000 (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.