posted by user: grupocole || 791 views || tracked by 3 users: [display]

AFL 2023 : 16th International Conference on Automata and Formal Languages


Conference Series : Automata and Formal Languages
When Sep 5, 2023 - Sep 7, 2023
Where Eger, Hungary
Submission Deadline Jun 4, 2023
Notification Due Jul 2, 2023
Final Version Due Jul 9, 2023
Categories    NLP   theoretical computer science

Call For Papers

AFL 2023 - Call for Papers

16th International Conference on Automata and Formal Languages

September 5 - 7, 2023, Eger, Hungary


The conference is organized by the Eszterházy Károly Catholic University
of Eger, Hungary, and the University of Szeged, Hungary.
As long as sanitary conditions allow, the conference will take place


- Submission deadline: June 4, 2023 (extended due to a number of
- Author notification: July 2, 2023
- Camera-ready deadline: July 9, 2023
- Conference: September 5 - 7, 2023


Submissions consisting of original research studying subjects
in the theory of automata and/or formal languages are welcome
for AFL 2023. 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.

Relations to
- 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.


Galina Jírásková (Slovak Academy of Sciences, Košice)
Victor Mitrana (University of Bucharest)
Andreas Maletti (Universität Leipzig)


Francine Blanchet-Sadri (UNC Greensboro)
Henning Bordihn (Universität Potsdam)
Miroslav Ćirić (University of Niš)
Erzsébet Csuhaj-Varjú (Eötvös Loránd University, Budapest)
Pál Dömösi (University of Nyíregyháza)
Gabriele Fici (Università di Palermo)
Zoltán Fülöp (University of Szeged)
Zsolt Gazdag (University of Szeged, co-chair)
Viliam Geffert (P. J. Šafárik University, Košice)
Géza Horváth (University of Debrecen)
Szabolcs Iván (University of Szeged, co-chair)
Roland Király (Eszterházy Károly Catholic University, Eger)
Gergely Kovásznai (Eszterházy Károly Catholic University, Eger)
Martin Kutrib (Universität Gießen)
Andreas Malcher (Universität Gießen)
Benedek Nagy (Eastern Mediterranean University, Famagusta;
Eszterházy Károly Catholic University, Eger)
Chrystopher L. Nehaniv (University of Waterloo)
František Mráz (Charles University, Prague)
Giovanni Pighizzini (University of Milan)
Agustín Riscos-Nunez (Universidad de Sevilla)
Kai Salomaa (Queen's University, Kingston)
Petr Sosík (Silesian University in Opava)
Bianca Truthe (Universität Gießen)
György Vaszil (University of Debrecen)


Authors are invited to submit original research papers in electronic
form. For the paper preparation guidelines and the submission
interface, authors are referred to the webpage of the event.
Submissions will go through a usual review process.
Simultaneous submissions to other conferences or workshops
with published proceedings are not allowed.


The proceedings will be published in the
Electronic Proceedings in Theoretical Computer Science (EPTCS) series.
A special issue with revised and extended versions of
selected papers of the conference will appear in the
International Journal of Foundations of Computer Science (IJFCS).


Gergely Kovásznai (Eger, Hungary)


Related Resources

IEEE Xplore-Ei/Scopus-CSPIT 2023   2023 Asia Conference on Communications, Signal Processing and Information Technology (CSPIT 2023) -EI Compendex
CSL 2024   32nd EACSL Annual Conference on Computer Science Logic
IEEE Xplore-Ei/Scopus-DMCSE 2023   2023 International Conference on Data Mining, Computing and Software Engineering (DMCSE 2023) -EI Compendex
IJPLA 2023   International Journal of Programming Languages and Applications
LREC-COLING 2024   The 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation
LANMR 2023   15th Latin American Workshop on New Methods of Reasoning : Logic, Languages, Algorithms, New Methods of Reasoning
EACL 2024   The 18th Conference of the European Chapter of the Association for Computational Linguistics
GandALF 2023   Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification
IEEE Big Data - MMAI 2023   IEEE Big Data 2023 Workshop on Multimodal AI (Hybrid)
AUTOMATA 2023   29th International Workshop on Cellular Automata and Discrete Complex Systems