CSL 2000 Annual Conference of the European Association for Computer Science Logic