[DMANET] CIAA 2026: First Call for Papers (Aug. 5-8, Kingston, Canada)

---
CIAA 2026: 30th International Conference on Implementation and Application of Automata
Queen's University
Kingston, Ontario, Canada, August 5-8, 2026
---

CIAA 2026 will be held in Kingston, Ontario, Canada, on August 5-8, 2026. The conference is organized by the School of Computing at Queen's University.

The conference will be co-located with DCFS 2026 (August 9-11, 2026).

The International Conference on Implementation and Application of Automata (CIAA) is an annual conference in the field of theoretical computer science. The website of the conference series is:
https://www.informatik.uni-giessen.de/ciaa/

The purpose of CIAA is 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. The conference concerns research on all aspects of implementation and application of automata and related structures, including theoretical aspects.

SUBMISSION GUIDELINES

Submissions to CIAA must not exceed 12 pages (in Springer-Verlag's Lecture Notes style, excluding the bibliography). If the authors believe that more details are essential to substantiate the main claims, they may include a clearly marked appendix, which will be read at the discretion of the program committee. However, if slightly longer submissions are deemed necessary, authors must contact the program committee chairs in advance for approval.

Simultaneous submissions of papers to any other conference with published proceedings or submitting previously published papers is not allowed. Only electronic submissions in the PDF format are accepted. Papers should be submitted electronically through the EasyChair system at this link:

https://easychair.org/conferences?conf=ciaa2026

The proceedings will be published by Springer-Verlag in the series Lecture Notes in Computer Science.

BEST PAPER AWARD

The Sheng Yu Award will be presented to the author(s) of the paper judged to be the best on the basis of the referee reports.

SPECIAL ISSUE

Extended versions of selected papers from the conference will be invited for consideration in a special issue of Theoretical Computer Science (TCS).

PRINCIPAL 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/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

INVITED SPEAKERS

[ To be announced ]

PROGRAM COMMITTEE

- Frédérique Bassino (Université Sorbonne Paris Nord, France)
- Cezar Câmpeanu (University of Prince Edward Island, Canada)
- Pascal Caron (Université de Rouen, France)
- Giuseppa Castiglione (Università di Palermo, Italy)
- Szilárd Fazekas (Akita University, Japan)
- Yo-Sub Han (Yonsei University, South Korea)
- Markus Holzer (Justus-Liebig-Universität Gießen, Germany)
- Galina Jirásková (Slovak Academy of Sciences, Slovakia)
- Jarkko Kari (Turun yliopisto, Finland)
- Stavros Konstantinidis (Saint Mary's University, Canada)
- Martin Kutrib (Justus-Liebig-Universität Gießen, Germany)
- Andreas Malcher (Justus-Liebig-Universität Gießen, Germany)
- Florin Manea (Georg-August-Universität Göttingen, Germany)
- Sabrina Mantaci (Università di Palermo, Italy)
- Brink van der Merwe (Stellenbosch University, South Africa)
- Nelma Moreira (Universidade do Porto, Portugal)
- Cyril Nicaud (Université Gustave Eiffel, France)
- Giovanni Pighizzini (Università di Milano Statale, Italy)
- Luca Prigionero (Loughborough University, UK)
- Rogério Reis (Universidade do Porto, Portugal)
- Kai Salomaa (Queen's University, Canada)
- Shinnosuke Seki (University of Electro-Communications, Japan)
- Taylor J. Smith (St. Francis Xavier University, Canada, chair)
- Mikhail Volkov (Ural Federal University, Russia)
- Hsu-Chun Yen (National Taiwan University, Taiwan)

ORGANIZING COMMITTEE

- Salimur Choudhury (Queen's University, Canada, chair)

IMPORTANT DATES

- Paper submission deadline: March 20, 2026
- Author notification: April 24, 2026
- Camera-ready deadline: May 8, 2026
- Conference: August 5-8, 2026

CONTACT

- Email: ciaa2026@cs.queensu.ca
- Website: https://research.cs.queensu.ca/ciaa2026/

--
Taylor J. Smith
Assistant Professor
Department of Computer Science
St. Francis Xavier University

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************