posted by user: grupocole || 4146 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

ACL 2018   56th Annual Meeting of the Association for Computational Linguistics
GandALF 2017   Symposium on Games, Automata, Logics, and Formal Verification
COLING 2018   The 27th International Conference on Computational Linguistics (COLING 2018)
ASPLOS 2018   23rd International Conference on Architectural Support for Programming Languages and Operating Systems
IJESA 2017   International Journal of Embedded Systems and Applications
NAACL HLT 2018   The 16th Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies
SAC PL 2017   ACM SAC'17 PL Track
NATP 2017   3rd International Conference on Natural Language Processing
IJNLC 2017   International Journal on Natural Language Computing
SBMF 2017   20th Brazilian Symposium on Formal Methods