Submissions consisting of original research studying subjects in the theory of automata and/or formal languages are
welcome for AFL 2026. Topics include, but are not limited to:
- grammars, acceptors and transducers for strings, trees, graphs, arrays, etc.,
- algebraic theories for automata and languages,
- combinatorial properties of words and languages,
- formal power series,
- decision problems, efficient algorithms for automata and languages,
- complexity theory and logic,
- picture description and analysis,
- quantum computing,
- cryptography,
- concurrency,
- applications of automata and language theory in biology, natural language processing, and other fields.