- The proceedings has been already published by Springer-Verlag in LNCS series as number 4783. It is also available via SpringerLink.
- Photo gallery of the conference is available.
- Program of the conference is available + all presentations.
- List of accepted papers is available + BibTeX of all articles.
The CIAA conferences concern research on all aspects of implementation and application of automata and related structures, including theoretical aspects.
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, ASTL, Automate, FADELA, FinITE, FIRE Station, JFLAP, 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.