Conf: CIAA 2001 : DEADLINE EXTENSION

[alexis nasr]

CALL FOR PAPERS


DEADLINE EXTENSION: PAPERS DUE ON TUESDAY 17 APRIL


<http://www.cs.up.ac.za/>University of Pretoria


Sixth International Conference on Implementation and Application of Automata


CIAA 2001


----------
July 23-25, 2001

This conference concerns research on all aspects of implementation and
application of automata and related structures.

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, <http://www.research.att.com/sw/tools/fsm/>FSM, Grail, INR,
<http://www.brics.dk/mona/>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
implementation and application of automata to demonstrate and analyze their
work and to explain the problems they have been solving.


SCOPE OF THE CONFERENCE

We solicit papers and demos on all aspects of implementation and
application of automata and related structures, including but not limited to:
     * Bioinformatics and automata
     * Complexity of automata operations
     * Compilers and automata
     * Computer-aided verification and automata
     * Concurrency and automata
     * Data structure design for automata
     * Data and image compression and automata
     * Design and architecture of automata software
     * Digital libraries and automata
     * Document engineering and automata
     * Editors, environments and automata
     * Experimental studies and practical experiences
     * Industrial applications and automata
     * Natural language processing and automata
     * Networking and automata
     * New algorithms for manipulating automata
     * Object-Oriented Modeling and automata
     * Pattern-matching and automata
     * Speech and speaker recognition and automata
     * Structured and semi-structured documents and automata
     * Symbolic manipulation environments for automata
     * Teaching and automata
     * Text processing and automata
     * Techniques for graphical display of automata
     * VLSI and automata
     * Viruses, related phenomena and automata
     * World-wide web and automata



SUBMISSION OF PAPERS

Authors are requested to submit an electronic version (in PostScript or
LaTeX form) or six hard copies of an extended abstract (arriving) by April
17, 2001. An extended abstract should start with the tit
-------------------------------------------------------------------------
Message diffusé par la liste Langage Naturel <LN at cines.fr>
Informations, abonnement : http://www.biomath.jussieu.fr/LN/LN-F/
English version          : http://www.biomath.jussieu.fr/LN/LN/
Archives                 : http://listserv.linguistlist.org/archives/ln.html

La liste LN est parrainée par l'ATALA (Association pour le Traitement
Automatique des Langues)
Information et adhésion  : http://www.atala.org/
-------------------------------------------------------------------------