Fundamentals of Computation Theory: 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings

The 16th International Symposium on Fundamentals of Computation Theory was held in Budapest, Hungary, in August 2007. This symposium drew leading minds in computation theory from around the world to present their findings and discuss new developments in the field. This volume constitutes the refereed proceedings of the symposium.

Thirty-nine full papers are presented along with four invited papers. All the papers were carefully reviewed by the editors to ensure that each one meets the highest standards of research and scholarship.

The papers address current topics in computation theory, including automata and formal languages, design and analysis of algorithms, computational and structural complexity, semantics, logic, algebra and categories in computer science, circuits and networks, learning theory, specification and verification, parallel and distributed systems, concurrency theory, cryptography and cryptographic protocols, approximation and randomized algorithms, computational geometry, quantum computation and information, and bio-inspired computation.