Proceedings 17th International Conference on Automata and Formal Languages
2026-08-24 • Formal Languages and Automata Theory
Formal Languages and Automata TheoryComputational Complexity
AI summaryⓘ
The authors report on the 17th International Conference on Automata and Formal Languages held in Košice in 2026. They explain that the conference included invited talks and 18 selected papers from 27 submissions, representing researchers from 14 countries. The papers cover many topics related to automata and formal languages, such as grammar types, models for strings, trees, and graphs, algebraic methods, decision problems, and links to complexity theory and image analysis. The authors highlight the broad scope, showing the field’s connections across different areas.
AutomataFormal languagesGrammarsAcceptorsTreesGraphsAlgebraic theoryDecision problemsComplexity theoryPicture analysis
Authors
Michal Hospodár, Galina Jirásková, Viktor Olejár, Juraj Šebej, György Vaszil
Abstract
The 17th International Conference on Automata and Formal Languages (AFL 2026) was held in Košice, September 7-10, 2026. It was organized by the Faculty of Science, P. J. Šafárik University in Košice and the Mathematical Institute of the Slovak Academy of Sciences. This volume contains the texts of the three invited lectures and the 18 papers selected by the Program Committee from a total of 27 submissions. The accepted papers, submitted by authors from 14 countries, cover all important areas of automata and formal language theory and their applications such as grammars and acceptors for strings, trees, and graphs, algebraic theories and algorithms for automata and languages, decision problems, relations to complexity theory, picture description and analysis, and other fields.