Appel: CIAA-2000

Philippe Blache pb at
Thu Mar 16 15:16:49 UTC 2000

From: Sheng Yu <syu at>

                        FINAL CALL FOR PAPERS

  Fifth International Conference on Implementation and Application
             of Automata (CIAA 2000, Formerly WIA)


                           July 24-25, 2000
                     University of Western Ontario
                        London, Ontario, Canada

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

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.

In conjunction with this conference, there will be two other events at
the University of Western Ontario:   A one-day  symposium  entitled
"Half Century  of Automata Theory"   (
will  be held  on  July 26, 2000,  and a workshop  on  "Descriptional
Complexity of Automata, Grammars, and Related Structures"
(  will be on July 27-29, 2000.


We  solicit  papers and demos  on all aspects  of implementation and
application of automata and related structures.


Authors  are requested to submit an electronic version (in postscript
or latex form)  or six hard copies of an extended abstract (arriving)
by  April 3, 2000.  An extended abstract should start with the title,
each author's name,  affiliation,  and  e-mail address,  and a brief
summary of the results and ideas, and be sent to:

                    CIAA2000 at
                    CIAA 2000
                    Department of Computer Science
                    University of Western Ontario
                    London, Ontario, Canada
                    N6A 5B7

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 pages
long using 11-point font with ample margins.

Authors will be notified of acceptance  or rejection by May 17, 2000.
Final copies of accepted  papers  must be submitted  by June 2, 2000.
We expect the proceedings  to appear in the Springer Lecture Notes in
Computer Science Series after the conference.  (See, e.g., LNCS 1260,
1436, and 1660 for the proceedings of the previous conferences.)   We
will distribute a preproceedings for participants at the conference.

Extended versions  of selected papers from 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),  alternately,  with the CIAA 2000 special issue
appearing in IJFCS.


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


David Harel, Weizmann Institute of Science, Rehovot, Israel

CIAA 2000 PROGRAM COMMITTEE (A Tentative list)

    J.-M. Champarnaud (Rouen)        M. Crochemore (Marne la Vallee)
    F. Gunthner (Ludwig Maximillian) O. Ibarra (UCSB)
    H. Jurgensen (Potsdam)           L. Karttunen (Xerox)
    D. Maurel (Tours)                M. Mohri (AT&T)
    J.-E. Pin (Paris)                K. Salomaa (Queen's)
    W. Thomas (Aachen)               B. Watson (Pretoria)
    D. Wood (Hong Kong)              S. Yu (chair, Western Ontario)


      April 3, 2000     Submission deadline
      May 17, 2000      Acceptances and rejections sent out
      June 2, 2000      Submission deadline for preproceedings
      July 24-26, 2000  Conference dates (including HCAT)
      Sept. 29, 2000    Submission deadline for SV-LNCS

Tri-Event Organizing Committee:

      John Hart            Helmut Jurgensen (co-chair)
      Lila Kari            Kai Salomaa
      Stephen Watt         Sheng Yu (co-chair)


Half Century of Automata Theory: ""
CIAA 2000: ""
DCAGRS 2000:

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

More information about the Ln mailing list