posted by user: grupocole || 8126 views || tracked by 6 users: [display]

AFL 2017 : 15th International Conference on Automata and Formal Languages

FacebookTwitterLinkedInGoogle


Conference Series : Automata and Formal Languages
 
Link: http://www.inf.unideb.hu/afl2017
 
When Sep 4, 2017 - Sep 6, 2017
Where Debrecen, Hungary
Submission Deadline May 15, 2017
Notification Due Jul 1, 2017
Final Version Due Jul 15, 2017
Categories    theoretical computer science   NLP
 

Call For Papers


------------------------------------------------------
Call for Papers - AFL 2017

15th International Conference on Automata and Formal Languages

Debrecen, Hungary

September 4-6, 2017

http://www.inf.unideb.hu/afl2017
-------------------------------------------------------


The AFL series, initiated by the late Professor István Peák in 1980, has a long tradition. The AFL conferences cover all aspects of automata and formal languages, including theory and applications. In 2017, the conference is organized by the Faculty of Informatics, University of Debrecen and the Faculty of Informatics, Eötvös Loránd University of Budapest, Hungary.

Topics of interest 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.


The scientific program will consist of invited lectures and contributed presentations selected by the international Program Committee.


Invited speakers:
-----------------

Paola Bonizzoni (Università di Milano-Bicocca, Milan, Italy)
Henning Bordihn (University of Potsdam, Germany)
Szilárd Zsolt Fazekas (Akita University, Japan)
José M. Sempere (Technical University of Valencia, Spain)
Akihiro Jamamura (Akita University, Japan)


Program Committee:
-----------------

Francine Blanchet-Sadri (Greensboro)
Victor Bovdi (Al Ain)
Erzsébet Csuhaj-Varju (Budapest, co-chair)
Jürgen Dassow (Magdeburg)
Pál Dömösi (Debrecen, co-chair)
Henning Fernau (Trier)
Zoltán Fülöp (Szeged)
Viliam Geffert (Kosice)
Marian Gheorghe (Bradford)
Oscar H. Ibarra (Santa Barbara, CA)
Szabolcs Iván (Szeged)
Galina Jiraskova (Kosice)
Alica Kelemenova (Opava)
Miklós Krész (Szeged)
Martin Kutrib (Giessen)
György Maróti (Veszprém)
Alexander Meduna (Brno)
Victor Mitrana (Bucharest, Madrid)
Andreas Maletti (Stuttgart)
Benedek Nagy (Famagusta)
Chrystopher Nehaniv (Hertfordshire)
Friedrich Otto (Kassel)
Gheorghe Paun (Bucharest)
Giovanni Pighizzi (Milano)
Agustín Riscos-Nunez (Sevilla)
Jeffrey Shallit (Waterloo, Canada)
Petr Sosik (Opava)
Bianca Truthe (Giessen)
György Vaszil (Debrecen, co-chair)
Laurent Vuillon (Chambéry)
Claudio Zandron (Milano)


Proceedings, special issue
--------------------------

The proceedings will be published in the EPTCS series (Electronic Proceedings in Theoretical Computer Science, http://about.eptcs.org/).

A special issue of the International Journal of Foundations of Computer Science containing expanded versions of selected papers will be published after the conference.


Submissions:
-----------

Submissions to AFL2017 must not exceed 15 pages (in EPTCS style and including bibliography). If the authors believe that more details are essential to substantiate the main claims, they may include a clearly marked appendix that will be read at the discretion of the program committee. Simultaneous submissions of papers to any other conference with published proceedings or submitting previously published papers is not allowed. Only electronic submissions in PDF format are accepted.

Information about the submission procedure is available on the conference web page (http://www.inf.unideb.hu/afl2017).


Important dates:
---------------

Paper submission deadline: May 15, 2017.
Author notification: July 1, 2017.
Camera-ready deadline: July 15, 2017
Conference: September 4-6, 2017.


Organizing Committee:
--------------------

Géza Horváth (Debrecen, co-chair)
Ernőné Kása (Debrecen)
Gábor Kolonits (Budapest)
Katalin Anna Lázár (Budapest)
György Vaszil (Debrecen, co-chair)
Ildikó Vecsei (Debrecen)


Contact:
-------
afl2017@inf.unideb.hu
csuhaj@inf.elte.hu (Erzsébet Csuhaj-Varjú)
domosi@unideb.hu (Pál Dömösi)
vaszil.gyorgy@inf.unideb.hu (György Vaszil)

Related Resources

LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
LearnAut 2024   Learning and Automata
NLDB 2024   The 29th International Conference on Natural Language & Information Systems
DCFS 2024   Descriptional Complexity of Formal Systems
COMIT 2024   8th International Conference on Computer Science and Information Technology
ICALP 2024   International Colloquium on Automata, Languages and Programming
JARES 2024   International Journal of Advance Robotics & Expert Systems
FM 2024   Formal Methods