Appel: CIAA 2001

Fri Nov 24 18:28:41 UTC 2000

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

CIAA 2001:  CALL FOR PAPERS

     CIAA 2001:  Sixth International Conference on
     Implementation and Application of Automata,
     University of Pretoria:  http://www.cs.up.ac.za

     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, FSM, Grail, INR, MONA and Turing's World.
(See http://www.research.att.com/sw/tools/fsm/ for FSM
and http://www.brics.dk/mona/ for MONA.)

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:

  o Bioinformatics and automata
  o Complexity of automata operations
  o Compilers and automata
  o Computer-aided verification and automata
  o Concurrency and automata
  o Data structure design for automata
  o Data and image compression and automata
  o Design and architecture of automata software
  o Digital libraries and automata
  o Document engineering and automata
  o Editors, environments and automata
  o Experimental studies and practical experiences
  o Industrial applications and automata
  o Natural language processing and automata
  o Networking and automata
  o New algorithms for manipulating automata
  o Object-Oriented Modeling and automata
  o Pattern-matching and automata
  o Speech and speaker recognition and automata
  o Structured and semi-structured documents and automata
  o Symbolic manipulation environments for automata
  o Teaching and automata
  o Text processing and automata
  o Techniques for graphical display of automata
  o VLSI and automata
  o Viruses, related phenomena and automata
  o 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:

     ciaa2001 at cs.up.ac.za

or to

     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.

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

  o CIAA 2000 website: http://www.csd.uwo.ca/~ciaa2000

  o WIA'99 website: http://www.cs.uni-potsdam.de/~wia99/

  o WIA'98 website: http://www.csd.uwo.ca/~syu/wia98.html

CIAA 2001 WEB SITES

  o http://www.cs.ust.hk/~dwood/ciaa2001

  o http://www.cs.up.ac.za/~watson/ciaa/

___________________________________________________________________
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/