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

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

FacebookTwitterLinkedInGoogle


Conference Series : Automata and Formal Languages
 
Link: https://afl2023.uni-eszterhazy.hu/
 
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
on-site.

IMPORTANT DATES

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

TOPICS

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.

INVITED SPEAKERS

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

PROGRAM COMMITTEE

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)

PAPER SUBMISSION

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.

PROCEEDINGS, SPECIAL ISSUE

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).

LOCAL ORGANIZERS

Gergely Kovásznai (Eger, Hungary)

CONTACT

afl2023@uni-eszterhazy.hu



Related Resources

LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
Ei/Scopus-AACIP 2024   2024 2nd Asia Conference on Algorithms, Computing and Image Processing (AACIP 2024)-EI Compendex
LearnAut 2024   Learning and Automata
IEEE Big Data - MMAI 2024   IEEE Big Data 2024 Workshop on Multimodal AI (Hybrid)
DCFS 2024   Descriptional Complexity of Formal Systems
AISC 2024   12th International Conference on Artificial Intelligence, Soft Computing
CIAA 2024   The 28th International Conference on Implementation and Application of Automata
CST 2024   11th International Conference on Advances in Computer Science and Information Technology
ICALP 2024   International Colloquium on Automata, Languages and Programming
SEAPP 2024   13th International Conference on Software Engineering and Applications