DLT 2014

The purpose of this conference is to bring together members of the academic, research, and industrial community who have an interest in formal languages, automata theory, and related areas.

Typical topics include, but are not limited to, grammars, acceptors and transducers for words, trees and graphs, algebraic theories of automata; algorithmic, combinatorial and algebraic properties of words and languages; variable length codes; symbolic dynamics; cellular automata; polyominoes and multidimensional patterns; decidability questions; image manipulation and compression; efficient text algorithms; relationships to cryptography, concurrency, complexity theory and logic; bio-inspired computing; quantum computing.

Arto Salomaa, the co-founder of the DLT series and one of the major contributors to the area as a whole, celebrates his 80th birthday in June 2014. DLT 2014 plans a special session in Arto's honor. The opening lecture of the session surveying Arto's achievements will be delivered by Juhani Karhumäki (University of Turku, Finland).

Authors are invited to submit papers presenting original and unpublished research. The proceedings will be published in the Springer-Verlag Lecture Notes in Computer Science Series (LNCS). Simultaneous submission to journals or other conferences with published proceedings is not allowed. Extended versions of selected papers from the proceedings will appear in a special issue of the International Journal of Foundations of Computer Science (IJFCS).

Submitted papers should not exceed 12 pages and should follow the LNCS-style LaTeX2e. All proofs omitted due to space constraints should be given in an appendix or made accessible through a reliable link to a freely available electronic preprint.  Papers should be submitted electronically in PDF through the EasyChair system.

Contacts: dlt2014@sciencesconf.org