30th Edition

International Conference on
Implementation and Application of Automata

Bringing together researchers and practitioners in automata theory, implementation, and applications from across academia and industry

Dates
August 5-8, 2026
Location
Queen's University
City
Kingston, Ontario, Canada
Submit Your Paper Learn More
Scroll to explore
Welcome

About CIAA 2026

The International Conference on Implementation and Application of Automata (CIAA) is the premier annual venue for research in automata theory and applications

CIAA 2026 will be held at Queen's University in Kingston, Ontario, Canada, organized by the School of Computing. The conference brings together members of the academic, research, and industrial communities who share 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. For more information about the CIAA conference series, visit the official CIAA website.

Sheng Yu Award

The prestigious Sheng Yu Award will be presented to the author(s) of the paper judged to be the best based on referee reports, recognizing excellence in automata research.

📚 Publication

Springer LNCS

Conference proceedings will be published by Springer-Verlag in the renowned Lecture Notes in Computer Science (LNCS) series.

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

Co-located with DCFS 2026 (August 9-11, 2026)

Timeline

Important Dates

March 20, 2026
Paper Submission Deadline
April 24, 2026
Author Notification
May 8, 2026
Camera-Ready Deadline
August 5-8, 2026
Conference
Submissions

Call for Papers

We invite original research contributions on all aspects of automata theory and applications

Submission Guidelines

📄 Page Limit

Submissions must not exceed 12 pages in Springer-Verlag's Lecture Notes style, excluding the bibliography.

📎 Appendix

Authors may include a clearly marked appendix with additional details essential to substantiate main claims. The appendix will be read at the discretion of the program committee.

📝 Extended Papers

If slightly longer submissions are necessary, authors must contact the program committee chairs in advance for approval.

⚠️ Submission Policy

Simultaneous submissions to other conferences with published proceedings or previously published papers are not allowed.

💻 Format

Only electronic submissions in PDF format are accepted through the EasyChair system.

Submit via EasyChair
Research Areas

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
Keynotes

Invited Speakers

🎤 Distinguished invited speakers will be announced soon. Stay tuned for updates.

Organization

Committees

Program Committee

The complete Program Committee will be announced soon. The following members have been confirmed:

Chair
Taylor J. Smith
Canada
Frederique Bassino
France
Cezar Campeanu
Canada
Pascal Caron
France
Giuseppa Castiglione
Italy
Szilard Fazekas
Japan
Yo-Sub Han
South Korea
Markus Holzer
Germany
Galina Jiraskova
Slovakia
Jarkko Kari
Finland
Stavros Konstantinidis
Canada
Martin Kutrib
Germany
Andreas Malcher
Germany
Florin Manea
Germany
Sabrina Mantaci
Italy
Brink van der Merwe
South Africa
Nelma Moreira
Portugal
Cyril Nicaud
France
Giovanni Pighizzini
Italy
Luca Prigionero
UK
Rogerio Reis
Portugal
Kai Salomaa
Canada
Shinnosuke Seki
Japan
Mikhail Volkov
Russia
Hsu-Chun Yen
Taiwan

Organizing Committee

Chair
Salimur Choudhury
Canada

Additional organizing committee members will be announced soon.

Location

Conference Venue

🏛️

Queen's University

School of Computing

Kingston, Ontario, Canada

More details about the venue, accommodation options, and local travel information will be provided closer to the conference date.

Ready to Submit Your Research?

Join us at CIAA 2026 and contribute to the advancement of automata theory and applications

View Submission Guidelines Contact Organizers
Get in Touch

Contact Us

Have questions? We're here to help

✉️

Email

ciaa2026@cs.queensu.ca

For all inquiries regarding paper submissions, registration, venue, or general questions about CIAA 2026