Proceedings of the International Conference, IFIP TCS 2000, on theoretical computer science, held in Sendai, Japan, August 17-19, 2000. The conference followed two main tracks: Track one on algorithms, complexity, and models of computation, and track two on logic, semantics, specification, and verification. Softcover.