Topics

We solicit papers and demos on all aspects of implementation and application of automata and related structures, including theoretical aspects, as but not limited to:
  • 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
  • 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, related phenomena
  • World-wide web