This book constitutes the refereed proceedings of the 30th International Conference on Implementation and Application of Automata, CIAA 2026, held in Kingston, ON, Canada, during August 5–8, 2026.
The 14 full papers included in this volume were carefully reviewed and selected from 34 submissions.
The CIAA 2026 proceedings deal with all aspects of application, implementation, and theory of automata and related structures.
Taylor J. Smith
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