CIAA 2004
Ninth International Conference on Implementation and Application of Automata
Queen's University, Kingston, Ontario, Canada, July 22-24, 2004


Automata theory is the foundation of computer science. Its applications have spread to almost all areas of computer science and many other disciplines. In addition, there is a growing number of software systems designed to manipulate automata, regular expressions, grammars, and related structures; examples include AGL, AMORE, Automate, FADELA, FinITE, FireLite, FLAP, FSM, Grail, INR, Intex, MERLin, MONA, TESTAS, Turing's World, Vaucanson, WFSC and Whale Calf.

The purpose of this conference 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. We solicit papers and demos in these areas including, but not limited to, the following topics as they relate to automata:

Invited Speakers
Program Committee
Steering Committee
Organizing Committee


Call for Papers Best paper award: There will be a Best Paper Award for CIAA. The recipient is selected on the basis of the referee reports. The value of the award is USD$300 and it is sponsored by the University of California at Santa Barbara.
Submission Instructions

Authors are invited to submit an electronic version (in PostScript or pdf form) by April 4, 2004. A paper should begin with the title, each author's name, affiliation, and e-mail address, and a one-paragraph summary of the results and ideas. The paper should provide sufficient detail to allow the Program Committee to evaluate its validity, quality, and relevance to the conference. The paper should be at most ten (10) pages long using 11-point font with ample margins. If appropriate, proof details omitted in the paper may be added in an appendix.

Our online submission server is at The submission server is closed.

We have received 62 submissions.

Submission Instructions for the Pre-Proceedings

Accepted authors: Please observe the following instructions for submitting your papers for CIAA 2004 pre-proceedings:

Conference Proceedings

The post-proceedings will appear in the Springer-Verlag Lecture Notes in Computer Science series.

Extended versions of selected papers from the proceedings of the conference series will be solicited for publication in special issues of International Journal of Foundations of Computer Science (IJFCS) and Theoretical Computer Science (TCS), alternating each year with the CIAA 2004 special issue appearing in IJFCS.

Important dates

CIAA 2004 will take place immediately before

DCFS 2004: Descriptional Complexity of Formal Systems.
6th Workshop, July 26-28, 2004, London, Ontario, Canada

Travel Information

Travel Information for CIAA can be found here

Previous Conferences

Contact Address

Kai Salomaa
School of Computing, Queen's University
Kingston, Ontario, Canada K7L 3N6

Last updated: 4 August 2004.