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:
For the forthcoming CIAA, please look at the link of
.
Photographs from CIAA 2003
ACCEPTED PAPERS
A list of accepted papers.
Proceedings Link to
LNCS 2759
TOPICS
INVITED SPEAKERS
Thomas Henzinger, University of California, Berkeley, California, USA
Juhani Karhumaki, University of Turku , Turku, Finland
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 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
ORGANIZING COMMITTEE
Tevfik Bultan (Chair), University of California, Santa Barbara
Constantinos Bartzis, University of California, Santa Barbara
Zhe Dang, Washington State University, Pullman
Omer Egecioglu, University of California, Santa Barbara
Oscar H. Ibarra, University of California, Santa Barbara
Hua Lee, University of California, Santa Barbara
Theodora Lenard, University of California, Santa Barbara
PROCEEDINGS COMMITTEE
Zhe Dang (Chair), Washington State University
Oscar H. Ibarra, University of California, Santa Barbara
STEERING COMMITTEE
Jean-Marc Champarnaud, Universite de Rouen, France
Oscar H. 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
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 submitted at
the following url:
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 9, 2003.
Final copies of accepted papers must be submitted by May 26, 2003 for publication in a Springer-Verlag Lecture Notes in Computer Science Proceedings. (See for example, LNCS 1260 and LNCS 1436 for the proceedings of two previous conferences.) We will distribute the proceedings to the 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.
Extended deadline: April 7th, 2003
Notification of Acceptance: May 9, 2003
Final Version: May 26, 2003
Conference: July 16-18, 2003