STACS 2000 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17 - 19, 2000 ; proceedings (Springer, 2000)