TOPICSThe purpose of this conference is to bring together members of the academic, research, and industrial community who have an interest in the theory, implementation, and application of automata and related
* Techniques for graphical display of automata
structures. We solicit papers and demos in these areas including, but not limited to, the following topics
as they relate to automata.
* Algorithms on automata
* Automata and logic
* Automata on infinite words
* Automata on trees
* Bioinformatics
* Bio-inspired computing
* 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
* Document engineering
* Editors, environments
* Experimental studies and practical experiences
* Implementation of verification methods and model checking
* Industrial applications
* Inference and learning of automata
* Natural language processing
* Networking
* New algorithms for manipulating automata
* Object-oriented modeling
* Pattern-matching algorithms
* Parsing algorithms
* Probabilistic and quantum automata
* Pushdown automata and context-free grammars
* Regular expressions and extensions
* Synchronizing automata
* Speech and speaker recognition
* Structured and semi-structured documents
* Suffix trees, suffix automata
* Symbolic implementation of automata
* Symbolic manipulation environments for automata
* Text processing
* Transducers and multi-tape automata
* VLSI
* Viruses, related phenomena
* Weighted automata and applications
* World-wide web
