This book constitutes the thoroughly refereed post-proceedings of the 12th International Conference on Implementation and Application of Automata, CIAA 2007, held in Prague, Czech Republic, in July 2007.

The 23 revised full papers and 7 revised poster papers presented together with the extended abstracts of 4 invited lectures were carefully reviewed and selected from 79 submissions and have gone through two rounds of reviewing and improvement. The papers cover various topics in the theory, implementation, and applications of automata and related structures.