Appel: CIAA 2003 : Eighth International Conference on Implementation and Application of Automata

Alexis Nasr alexis.nasr at LINGUIST.JUSSIEU.FR
Wed Feb 19 15:45:12 UTC 2003

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 and
   Graduate Division at UCSB, AT&T Labs - Research and Expertcity, Inc.

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:

Complexity of automata operations
Computer-aided verification
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
New algorithms for manipulating automata
Object-oriented modeling
Quantum computing
Speech and speaker recognition
Structured and semi-structured documents
Symbolic manipulation environments for automata
Text processing
Techniques for graphical display of automata
Viruses, related phenomena
World-wide web

INVITED SPEAKERS (preliminary list)

       Thomas Henzinger, University of California, Berkeley, California,USA
       Juhani Karhumaki, University of Turku , Turku, Finland


       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 Research 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


       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


Authors are requested to submit an electronic version (in PostScript or
pdf form) by April 1, 2003. An extended abstract should start with the
title, each author's name, affiliation, and e-mail address, and a
one-paragraph summary of the results and ideas, and be sent to:

(Precise instructions to be provided later)

The extended abstract should provide sufficient detail to allow the
Program Committee to evaluate its validity, quality, and relevance to the
conference. The extended abstract 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.

Authors will be notified of acceptance or rejection by May 15, 2003.

Final copies of accepted papers must be submitted by June 10, 2003. We
expect the proceedings to appear in the Springer-Verlag Lecture Notes in
Computer Science Series after the conference. (See for example, LNCS 1260
and LNCS 1436 for the proceedings of two previous conferences.) We will
distribute a preproceedings for participants at the conference.

Extended versions of selected papers from the proceedings of the
conference series will be solicited for publication in special issues of
Theoretical Computer Science (TCS) and International Journal of
Foundations of Computer Science (IJFCS), alternating each year with the
CIAA 2003 special issue appearing in TCS.


       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

Message diffusé par la liste Langage Naturel <LN at>
Informations, abonnement :
English version          :
Archives                 :

La liste LN est parrainée par l'ATALA (Association pour le Traitement
Automatique des Langues)
Information et adhésion  :

More information about the Ln mailing list