This book constitutes the proceedings of the 29th International Conference on Implementation and Application of Automata, CIAA 2025, held in Palermo, Italy, during September 22–25, 2025.
The 22 full papers presented in this volume were carefully reviewed and selected from 32 submissions.
They focus on all aspects on the field of automata theory and implementation, and theory of automata and related structures.
Giuseppa Castiglione
Complexity of Automata Operations Compilers Computer-aided verification Concurrency Data structure design for automata Data and image compression Design and architecture of automata software Digital libraries DNA/molecular/membrane computing Document engineering Editors, environments Experimental studies and practical experiences Industrial applications Natural language processing Networking