Call for Participation
Topics
We solicit original papers and demos on all aspects of implementation and application of automata and related structures. Topics include, but are not limited to, the following as they relate to automata:
- 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
- Tree automata
- VLSI
- Viruses, related phenomena
- World-wide web
Submission
Authors are invited to submit an electronic version (PostScript or PDF) by April 11, 2005. A paper should begin with the title, each author's name, affiliation, and e-mail address, and an abstract. The paper should provide sufficient details to allow the Program Commitee 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 needed, proof details omitted in the paper may be added in an appendix.
Precise instructions concerning the submission procedure will be provided on the submission page.
Authors will be notified of acceptance or rejection by May 20, 2005.
Preproceedings versions of accepted papers are due for June 7, 2005. As for previous CIAA conferences, we expect the proceedings to appear in the Springer-Verlag Lectures Notes in Computer Science. Extended versions of selected papers from the proceedings will be solicited for publication in a special issue of Theoretical Computer Science.
Best Paper Award
There will be a Best Paper Award for CIAA. The recepient is selected on the basis of the referee reports. The value of the award is USD$ 300 and is sponsored by the University of California at Santa Barbara.
Program Committee
- Olivier Carton (Paris, France)
- Jean-Marc Champarnaud (Rouen, France)
- Maxime Crochemore (Marne-la-Vallée, France)
- Jürgen Dassow (Magdeburg, Germany)
- Jacques Farré (Nice, France, co-chair)
- José Fortes Gálvez (Las Palmas, Spain)
- Jozef Gruska (Brno, Czech Republic)
- Tero Harju (Turku, Finland)
- Oscar Ibarra (Santa Barbara CA, USA)
- Balázs Imreh (Szeged, Hungary)
- Masami Ito (Kyoto, Japan)
- Lauri Karttunen (Palo Alto CA, USA)
- Nils Klarlund (Lucent Bell Labs, USA)
- Bertrand Le Saëc (Bordeaux, France)
- Igor Litovsky (Nice, France, co-chair)
- Do Long Van (Hanoi, Vietnam)
- Carlos Martín Vide (Tarragona, Spain)
- Denis Maurel (Tours, France)
- Filippo Mignosi (Palermo, Italy)
- Victor Mitrana (Bucharest, Romania)
- Mehryar Mohri (New York, USA)
- Jean-Éric Pin (Paris, France)
- Jacques Sakarovitch (Paris, France)
- Kai T. Salomaa (Kingston, Canada)
- Pierluigi San Pietro (Milano, Italy)
- Bruce W. Watson (Pretoria, South Africa)
- Thomas Wilke (Kiel, Germany)
- Pierre Wolper (Liège, Belgium)
- Derick Wood (Hong Kong, China)
- Hsu-Chun Yen (Taipei, Taiwan)
- Sheng Yu (London, Canada)
Steering Committee
- Jean-Marc Champarnaud (Rouen, France)
- Oscar Ibarra (Santa Barbara CA, USA)
- Denis Maurel (Tours, France)
- Derick Wood (Hong Kong, China)
- Sheng Yu (London, Canada)
Organizing Committee
- Jacques Farré (co-chair)
- Carine Fédèle (local organization)
- Micheline Hagneré (secretary)
- Corinne Julien (secretary)
- Igor Litovsky (co-chair)
- Sylvain Schmitz (local organization & website)
Important Dates
- April 11, 2005
- Submission deadline
- May 20, 2005
- Acceptances and rejections sent out
- June 7, 2005
- Submission deadline for preproceedings
- June 27–29, 2005
- Conference dates