Call for paper 〔OPEN〕

My submissions

Registration 〔OPEN〕

My tickets

〔CLOSED〕
Introduction

The AFL conferences cover all aspects of automata and formal languages, including theory and applications.

The conference series was initiated by Prof. István Peák (1936-1989). He organized the AFL conferences in 1980, 1982, 1984, 1986 and 1988 and started the organization of AFL’90. These conferences were all held in the hills around Salgótarján. In 1986 and 1988, the title of the conference was Automata, Languages and Programming Systems.

Since the untimely death of Prof. István Peák in 1990, the AFL conferences have been organized in every third year. Professors András Ádám and Pál Dömösi took the lead in the continuation of the series. In 1993 and 1996, two more “Salgótarján conferences” took place. Nowadays a Steering Committee takes care of the continuation of the AFL series.

The last conferences of the series were held in Vasszécsény (1999), Debrecen (2002), Dobogókő (AFL'05), Balatonfüred (AFL 2008) , Debrecen (AFL'11), and Szeged (AFL 2014). In 2017, the conference is organized by the Faculty of Informatics of the University of Debrecen, and the Faculty of Informatics of the Eötvös Loránd University of Budapest.

Call for paper

Important date

2017-05-15
Draft paper submission deadline
2017-07-01
Draft paper acceptance notification
2017-07-15
Final paper submission deadline

Submission Topics

Topics of interest include (but are not limited to) the following.

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

Submit Comment
Verify Code Change Another
All Comments
Important Date
  • Sep 04

    2017

    Conference Date

  • May 15 2017

    Draft paper submission deadline

  • Jul 01 2017

    Draft Paper Acceptance Notification

  • Jul 15 2017

    Final Paper Deadline

  • Sep 04 2017

    Registration deadline