International Conference on Implementation and Application of Automata

Aperçu

We invite original research contributions on all aspects of automata theory and applications. Submissions must not exceed 12 pages in Springer-Verlag's Lecture Notes in Computer Science style, excluding the bibliography. Authors may include a clearly marked appendix with additional details essential to substantiate main claims; the appendix will be read at the discretion of the program committee. If slightly longer submissions are necessary, authors must contact the program committee chairs in advance for approval. Simultaneous submissions to other conferences with published proceedings or previously published papers are not allowed. Only electronic submissions in PDF format are accepted through the EasyChair system. We solicit papers on all aspects of implementation and application of automata and related structures, including theoretical aspects, including but not limited to: algorithms on automata; automata and logic; bioinformatics; complexity of automata operations; compilers; computer-aided verification; concurrency; data structure design for automata; data and image compression; design and architecture of automata software; digital libraries; DNA/molecular/membrane computing; document engineering; editors and environments; experimental studies; industrial applications; natural language processing; networking; new algorithms for manipulating automata; object-oriented modeling; pattern-matching; quantum computing; speech and speaker recognition; structured and semi-structured documents; symbolic manipulation environments for automata; teaching; text processing; techniques for graphical display of automata; VLSI; viruses and related phenomena; world-wide web. Conference proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science (LNCS) series. Extended versions of selected papers may be invited for a special issue of Theoretical Computer Science. The Sheng Yu Award is presented to the author(s) of the best paper based on referee reports.

Classement source

Carte