DLT 2014

18th International Conference on Developments in Language Theory

August 26 - 29, 2014, Ekaterinburg, Russia


The 18th International Conference on Developments in Language Theory (DLT 2014) will take place at  Ural Federal University, Ekaterinburg, Russia, on August 26-29, 2014 under the auspices of the European Association for Theoretical Computer Science (EATCS). The conference will be hosted by the Institute of Mathematics and Computer Science of  Ural Federal University.

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




Online user: 1