Submissions
Submissions must be written in LaTeX using the
LNCS LaTeX2e style
and must not
exceed 12 pages, bibliography included. If the authors believe that more
details are essential to substantiate the main claims, they may include
a clearly marked appendix that will be read at the discretion of the
program committee. Simultaneous submissions of papers to journals or any
other conference with published proceedings, or submitting previously
published papers is not allowed. Only electronic submission of PDF
documents is possible. The proceedings will be published in the Springer
LNCS series and will be available at the conference. Authors should
submit their contributions at the
Easychair
website.
Sheng Yu Award
A "Best Paper Award," since 2014 called "Sheng Yu Award" will be
presented to the author(s) of the paper judged to be the best on the
basis of the referee reports.
Special Issue
Selected papers from the conference will be invited for
consideration in an extended version for a special issue in the
International Journal of Foundations of Computer Science (IJFCS).
Topics
Original papers are sought in all areas that relate to implementation
and application of automata, 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, environments
- experimental studies and practical experiences
- implementation of verification methods and model checking
- industrial applications
- natural language and speech processing
- networking, new algorithms for manipulating automata
- new algorithms for manipulating automata
- object-oriented modeling
- pattern-matching
- pushdown automata and context-free grammars
- 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
- transducers and multi-tape automata
- VLSI
- viruses and related phenomena, and the world-wide web