posted by user: grupocole || 4615 views || tracked by 7 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

GandALF 2018   International Symposium on Games, Automata, Logics, and Formal Verification
EMNLP 2018   2018 Conference on Empirical Methods in Natural Language Processing
FACS 2018   15th International Conference on Formal Aspects of Component Software
IJSCMC 2018   International Journal of Soft Computing, Mathematics and Control (IJSCMC)
FDL 2018   Forum on specification and Design Languages
CGDEIJ 2018   Computer Game Development and Education
MEMOCODE 2018   16th ACM-IEEE International Conference on Formal Methods and Models for System Design
LTA 2018   3rd International Workshop on Language Technologies and Applications
ICTAC 2018   15th International Colloquium on Theoretical Aspects of Computing
IJBES 2018   International Journal of Biomedical Engineering and Science