This book presents the proceedings of the 10th International Conference on Fundamentals of Computation Theory, FCT '95, held in Dresden, Germany in August 1995.
The volume contains five invited lectures and 32 revised papers carefully selected for presentation at FCT '95. A broad spectrum of theoretical computer science is covered; among topics addressed are algorithms and data structures, automata and formal languages, categories and types, computability and complexity, computational logics, computational geometry, systems specification, learning theory, parallelism and concurrency,...

This work constitutes the refereed proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15-17th, 2001. The 46 revised full papers presented together with three invited papers were reviewed and selected from a total of 153 submissions. The papers address foundational aspects of theoretical computer science such as algorithms, data structures, automata, formal languages, complexity, verification, logic, graph theory, and optimization.