Theoretical Aspects of Computer Science 2000