Appel: CIAA-2001

Fri Feb 2 16:51:58 UTC 2001

From: Maurel Denis <maurel at univ-tours.fr>

My apologies if you have already seen this, or if you receive more than one
copy!

----------

SECOND CALL FOR PAPERS

Sixth International Conference on Implementation and Application of Automata

CIAA 2001

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

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
2, 2001. 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:

<mailto:ciaa2001 at cs.up.ac.za>ciaa2001 at cs.up.ac.za
or
CIAA 2001 ATTENTION: OPV5-20
Department of Computer Science
University of Pretoria
Pretoria, South Africa
0002

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 1, 2001.

Final copies of accepted papers must be submitted by June 18, 2001. 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 2001 special issue
appearing in TCS.

DEMOS

We encourage the submission of software demos. Developers wishing to
demonstrate their software should submit a two-page description to the
address given above by April 2, 2001, outlining the design of their system
and their computing needs (if any).

INVITED SPEAKERS

Gregor v. Bochmann, Ottawa, Canada,

CIAA 2001 PROGRAM COMMITTEE

      B. Boigelot (Liege)              J.-M. Champarnaud (Rouen)

      M. Crochemore (Marne la Vallee)  O. Ibarra (UCSB)

      L. Karttunen (Xerox Europe)      N. Klarlund (AT&T)

      D. Maurel (Tours)                M. Mohri (AT&T)

      J.-E. Pin (Paris)                K. Salomaa (Queen's)

      H. Seidl (Trier)                 B. Watson (Co-chair) (Pretoria)

      D. Wood (Co-Chair) (HKUST)       S. Yu (Western Ontario)

IMPORTANT DATES

      April 2, 2001     Submission deadline

      May 1, 2001        Acceptances and rejections sent out

      June 18, 2001       Submission deadline for preproceedings

      July 23-25, 2001   Conference dates

      Sept. 21, 2001     Submission deadline for SV-LNCS

SPONSORING ORGANIZATIONS

      ACM SIGACT, EATCS, University of Pretoria

PREVIOUS CONFERENCES

<http://www.csd.uwo.ca/~ciaa2000>CIAA 2000 website
<http://www.cs.uni-potsdam.de/~wia99/>WIA'99 website
<http://www.csd.uwo.ca/~syu/wia98.html>WIA'98 website

CIAA 2001 WEB SITES

<http://www.cs.up.ac.za/~watson/ciaa/>Pretoria Site
<http://www.cs.ust.hk/~dwood/ciaa2001>Hong Kong Site

----------

<mailto:bwatson at OpenFIRE.org>Prof.Dr. Bruce W. Watson

Co-chair of the <http://www.cs.up.ac.za/~watson/ciaa>2001 Conference on
Implementation and Application of Automata

<mailto:bwatson at OpenFIRE.org>bwatson at OpenFIRE.org or
<mailto:bwatson at cs.up.ac.za>bwatson at cs.up.ac.za or
<mailto:watson at win.tue.nl>watson at win.tue.nl

Please DO NOT send me any large emails without asking first.

___________________________________________________________________
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://web-lli.univ-paris13.fr/ln/