Symposium on Theoretical Aspects of Computer Science (17th 2000 Lille, France)