Eighth International Conference on Implementation and Application of Automata CIAA 2003 July 16-18, 2003, Santa Barbara, CA, USA Sponsored by: Computer Science Department, College of Engineering, AT&T Labs - Research and Expertcity, Inc. 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, MONA, and Turing's World. 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 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 PROGRAM COMMITTEE Oscar H. Ibarra (Chair), University of California, Santa Barbara,USA Tevfik Bultan, University of California, Santa Barbara, USA Jean-Marc Champarnaud, Universite de Rouen, France Zhe Dang, Washington State University, USA Jozef Gruska, Masaryk University, Czech Republic Tero Harju, Academy of Finland, Finland Tom Henzinger, University of California, Berkeley, USA Juraj Hromkovic, RWTH Aachen, Germany Kazuo Iwama, Kyoto University, Japan Tao Jiang, University of California, Riverside, USA Juhani Karhumaki, University of Turku, Finland Lauri Karttunen, Xerox Palo Alto Rsearch Center, USA Sam Kim, Kyungpook University, South Korea Nils Klarlund, AT&T Labs-Research, 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 Gheorghe Paun, Romanian Academy, Romania Jean-Eric Pin, CNRS & Universite Paris 7, France Grzegorz Rozenberg, Leiden University, The Netherlands Kai Salomaa, Queens University, Canada Helmut Seidl, Universitat Trier, Germany Imre Simon, University of Sao Paulo, Brazil Wolfgang Thomas, RWTH Aachen, Germany Derick Wood, HKUST, Hong Kong Hsu-Chun Yen, National Taiwan University, Taiwan Sheng Yu, University of Western Ontario, Canada ORGANIZING COMMITTEE Tevfik Bultan, University of California, Santa Barbara Omer Egecioglu, University of California, Santa Barbara Oscar H. Ibarra, University of California, Santa Barbara Hua Lee, University of California, Santa Barbara Constantinos Bartzis, University of California, Santa Barbara IMPORTANT DATES Deadline for Submission: April 1, 2003 Notification of Acceptance: May 15, 2003 Final Version: June 10, 2003 Conference: July 16-18, 2003 For further details please visit the conference website http://www.cs.ucsb.edu/~ciaa2003