Tenth International Conference on Implementation and Application of Automata

June 27–29, 2005, Sophia Antipolis, France

CIAA 2005


  • The proceedings of CIAA 2005 are now available from Springer Verlag as LNCS volume 3845. This volume is also available online from SpringerLink. We also provide a BibTeX file for the entire conference proceedings.
  • A few pictures taken during the conference are available. All participants are invited to send their own.
  • The website and the call for paper for the 2006 edition of CIAA are online.
  • The proceedings of CIAA 2005 will be published in Springer Verlag LNCS volume 3845. You can already see its projected table of contents. An email will be sent by Springer services in India to each corresponding author, holding their paper in PDF format, to make sure that the final rendering is correct.
  • The conference is now over. Thanks to all attendants, and we are looking forward to seeing you in Taipei next year.
  • Congratulations to Markus Lohrey and Sebastian Maneth who won the best paper award for their paper Tree Automata and XPath on Compressed Trees. This award is sponsored by the University of California at Santa Barbara.


The tenth edition of the CIAA will take place in the high-tech campus of Sophia Antipolis, near Nice, France, on June 27–29, 2005. The conference is organized by the I3S laboratory, the University of Nice - Sophia Antipolis (UNSA) and the CNRS, with the support of the INRIA, under the auspicies of the EATCS. The conference will be hosted by the ESSI.

The CIAA conferences concern research on all aspects of implementation and application of automata and related structures, from the theoretical aspects to the practical realizations.

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 Lite, FLAP, FSM, Grail+, INR, Intex, MERLin, MONA, TESTAS, Turing's World, Vaucanson, WFSC and Whale Calf.

The purpose of these conferences is to bring together members of the academic, research and industrial community who have an interest in implementation and application of automata to demonstrate and analyze their work and to explain the problems they have been solving.

Previous Editions

The previous editions of the CIAA took place in Kingston, Canada, Santa Barbara, USA, Tours, France, Pretoria, South Africa, London Ontario, Canada. The conference was formerly known as the WIA and took place in Potsdam, Germany, Rouen, France, and London Ontario, Canada for its first two editions.

More details are available at the CIAA main site: http://tln.li.univ-tours.fr/ciaa/.

Related Conferences

11th International Conference on Automata and Formal Languages
May 17–20, 2005, Dobogókõ, Hungary
7th Workshop on the Descriptional Complexity of Formal Systems
June 30 - July 2, 2005, Como, Italy
9th International Conference on Developments in Language Theory
July 4–8, 2005, Mondello, Palermo, Italy
32nd International Colloquium on Automata, Languages and Programming
July 11–15, 2005, Lisboa, Portugal



Jacques Farré / Igor Litovsky
ESSI, 930 route des colles, BP 145
06903 Sophia Antipolis Cedex, France

Alternate Format: