CIAA 2025: Call for Papers

The 29th International Conference on Implementation and Application of Automata (CIAA) will be held in Palermo, Italy from September 22-25, 2025.

The conference aims to bring together members of the academic, research, and industrial community who have an interest in the theory, implementation, and application of automata and related structures.

Invited Speakers

• Marie-Pierre Béal – Symbolic dynamics and automata (Université Gustave Eiffel, France)
• Dirk Nowotka – On Decision Problems of Pattern Languages (University of Kiel, Germany)
• Alberto Policriti – Wheeler languages and automata (University of Udine, Italy)

Topics

We solicit papers on all aspects of implementation and application of automata and related structures, including theoretical aspects, including but not limited to:

• Algorithms on automata
• Automata and logic
• Bioinformatics
• 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, and membrane computing
• Document engineering
• Editors, environments
• Experimental studies and practical experiences
• Industrial applications
• Natural language processing
• Networking
• New algorithms for manipulating automata
• Object-oriented modeling
• Pattern-matching
• Quantum computing
• Speech and speaker recognition
• Structured and semi-structured documents
• Symbolic manipulation environments for automata
• Teaching
• Text processing
• Techniques for graphical display of automata
• VLSI
• Viruses, related phenomena
• World-wide-web

Submission Guidelines

• Submissions must be written in LaTeX using the LNCS LaTeX2e style.
• Submissions must not exceed 12 single-spaced pages, excluding the title page and the references.
• Authors may include a clearly marked appendix that will be read at the discretion of the program committee.
• Simultaneous submissions of papers to journals or any other conference with published proceedings or submitting previously published papers is not allowed.
• Only electronic submission of PDF documents is possible.
• Authors should submit their contributions through Easychair.
• Submit here

Important Dates

Item	Date
Conference	September 22-25, 2025
Submission deadline	May 16, 2025
Notification	June 23, 2025
Final version deadline	June 30, 2025
Early registration	Until July 21, 2025
Late registration	Until September 18, 2025

Publication

CIAA 2025 proceedings will be published in the Springer Lecture Notes in Computer Science (LNCS).

Special Issue

Extended versions of selected papers from the conference will be invited for consideration in a special issue of International Journal of Foundations of Computer Science (IJFCS).

Contact

All questions should be addressed to ciaa2025@unipa.it