Topics

Papers and demos on all aspects of implementation and application of automata and related structures,. including theoretical aspects include the following. topics of interest, but are 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.