By Vašek Chvátal (auth.), Luděk Kučera, Antonín Kučera (eds.)
This booklet constitutes the refereed lawsuits of the thirty second foreign Symposium on Mathematical Foundations of computing device technology, MFCS 2007, held in Ceský Krumlov, Czech Republic, August 26-31, 2007.
The sixty one revised complete papers awarded including the entire papers or abstracts of five invited talks have been rigorously reviewed and chosen from 167 submissions. All present points in theoretical machine technology and its mathematical foundations are addressed, starting from algorithms and knowledge constructions, to complexity, automata, semantics, common sense, formal standards, types of computation, concurrency concept, computational geometry, parallel and allotted computing, networks, bioinformatics, quantum computing, cryptography, knowledge-based structures, and synthetic intelligence.