This book constitutes the refereed proceedings of the 21st International Symposium on Fundamentals of Computation Theory, FCT 2017, held in Bordeaux, France, in September 2017. The 29 revised full papers and 5 invited papers presented were carefully reviewed and selected from 99 submissions. The papers cover topics of all aspects of theoretical computer science, in particular algorithms, complexity, formal and logical methods.
Ralf Klasing
theoretical computer science algorithms complexity formal and logical methods automata and formal languages cloud computing computational complexity model checking ubiquitous systems algorithm design approximation combinatorics computational biology computational geometry distributed computing