CIAA 2004 Ninth International Conference on Implementation and Application of Automata Queen's University, Kingston, Ontario, Canada, July 22-24, 2004 Topics 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: * 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 Invited Speakers * Oscar H. Ibarra, University of California, Santa Barbara, USA * Jeffrey O. Shallit, University of Waterloo, Canada Program Committee * Bernard Boigelot, Universite de Liege, Belgium * Janusz Brzozowski, University of Waterloo, Canada * Cezar Campeanu, University of Prince Edward Island, Canada * Jean-Marc Champarnaud, Universite de Rouen, France * Jozef Gruska, Masaryk University, Czech Republic * Tero Harju, University of Turku, Finland * Markus Holzer, Technische Universitat Munchen, Germany * Juraj Hromkovic, ETH Zuerich, Switzerland * Oscar Ibarra, University of California, Santa Barbara, USA * Masami Ito, Kyoto Sangyo University, Japan * Tao Jiang, University of California, Riverside, USA * Juhani Karhumaki, University of Turku, Finland * Lauri Karttunen, Palo Alto Research Center, USA * Nils Klarlund, Bell Labs, New Jersey, USA * Werner Kuich, Technische Universitat Wien, Austria * Carlos Martin-Vide, Rovira i Virgili University, Spain * Denis Maurel, Universite de Tours, France * Mehryar Mohri, AT&T Labs-Research, USA * Frank Neven, Limburgs Universitair Centrum, Belgium * Gheorghe Paun, Romanian Academy, Romania * Jean-Eric Pin, CNRS & Universite Paris 7, France * Bala Ravikumar, Sonoma State University, USA * Grzegorz Rozenberg, Leiden University, The Netherlands and University of Colorado, Boulder, USA * Kai Salomaa (co-chair), Queen's University, Canada * Klaus Sutner, Carnegie Mellon University, USA * Wolfgang Thomas, RWTH Aachen, Germany * Bruce Watson, Technische Universiteit Eindhoven, The Netherlands and University of Pretoria, South Africa * Derick Wood, Hong Kong University of Science and Technology, Hong Kong * Hsu-Chun Yen, National Taiwan University, Taiwan * Sheng Yu (co-chair), University of Western Ontario, Canada Steering Committee * Jean-Marc Champarnaud, Universite de Rouen, France * Oscar Ibarra, University of California, Santa Barbara, USA * Denis Maurel, Universite de Tours, France * Derick Wood, Hong Kong University of Science and Technology, Hong Kong * Sheng Yu, University of Western Ontario, Canada Organizing Committee * Michael Domaratzki * Alexander Okhotin * Kai Salomaa (chair) Sponsors * School of Computing, Queen's University * Communications and Information Technology Ontario * European Association for Theoretical Computer Science 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. Please use our online submission server at http://precisionconference.com/~ciaa04 Conference Proceedings We expect the proceedings to 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 * Submission deadline: April 4, 2004 * Notification: May 10, 2004 * Final version due: May 31, 2004 * Conference: July 22-24, 2004. CIAA 2004 will take place immediately before DCFS 2004: Descriptional Complexity of Formal Systems. 6th Workshop, July 26-28, 2004, London, Ontario, Canada Contact Address Kai Salomaa School of Computing, Queen's University Kingston, Ontario, Canada K7L 3N6 email: ciaa2004@cs.queensu.ca