FIP International Conference on Theoretical Computer Science (IFIP TCS2000) Exploring New Frontiers of Theoretical Informatics