Topics of Interest
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
- 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 experience
- Implementation of verification methods and model checking
- Industrial applications
- Natural language and speech processing
- Networking
- New algorithms for manipulating automata
- Object-oriented modeling
- Pattern-matching
- Pushdown automata and context-free grammars
- Quantum computing
- Structured and semi-structured documents
- Symbolic manipulation environments for automata
- Teaching
- Text Processing
- Transducers and multi-tape automata
- Techniques for graphical display of automata
- VLSI
- Viruses, related phenomena
- World-wide web