CALL FOR PAPERS

DEADLINE EXTENSION: PAPERS DUE ON TUESDAY 17 APRIL

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, 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 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:

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 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@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 15, 2001.

Final copies of accepted papers must be submitted by July 6, 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 17, 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 17, 2001Submission deadline (extension)
May 15, 2001Acceptances and rejections sent out
July 6, 2001Submission deadline for preproceedings
July 23-25, 2001Conference dates
Sept. 21, 2001Submission deadline for SV-LNCS

SPONSORING ORGANIZATIONS

ACM SIGACT, EATCS, University of Pretoria

PREVIOUS CONFERENCES

CIAA 2000 website
WIA'99 website
WIA'98 website

ADDITIONAL CIAA 2001 WEB SITES

Pretoria Site
Hong Kong Site