HOME

TheInfoList



Click Here for Items Related To - Developments in Language Theory
OR:
Developments in Language Theory on:   [Wikipedia]   [Google]   [Amazon]

DLT, the International Conference on Developments in Language Theory is an
academic conference An academic conference or scientific conference (also congress, symposium, workshop, or meeting) is an event for researchers (not necessarily academics) to present and discuss their scholarly work. Together with academic or scientific journals an ...
in the field of
computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...
held annually under the auspices of the
European Association for Theoretical Computer Science The European Association for Theoretical Computer Science (EATCS) is an international organization with a European focus, founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as ...
. Like most theoretical computer science conferences its contributions are strongly peer-reviewed; the articles appear in proceedings published in
Springer Springer or springers may refer to: Publishers * Springer Science+Business Media, aka Springer International Publishing, a worldwide publishing group founded in 1842 in Germany formerly known as Springer-Verlag. ** Springer Nature, a multinationa ...
Lecture Notes in Computer Science ''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973. Overview The series contains proceedings, post-proceedings, monographs, and Festschrifts. In addition, tutorials, ...
. Extended versions of selected papers of each year's conference appear in international journals, such as
Theoretical Computer Science Theoretical computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory. It is difficult to circumsc ...
and
International Journal of Foundations of Computer Science The ''International Journal of Foundations of Computer Science'' is a computer science journal published by World Scientific. It was founded in 1990, covering the field of theoretical computer science, from algebraic theory and algorithms, to quan ...
.


Topics of the conference

Typical topics include: * 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 between formal language theory and cryptography, concurrency, complexity theory and logic *
bio-inspired computing Bio-inspired computing, short for biologically inspired computing, is a field of study which seeks to solve computer science problems using models of biology. It relates to connectionism, social behavior, and emergence. Within computer science, b ...
and quantum computing


History of the Conference

The DLT conference series was established by
Grzegorz Rozenberg Grzegorz Rozenberg (born 14 March 1942, Warsaw) is a Polish and Dutch computer scientist. His primary research areas are natural computing, formal language and automata theory, graph transformations, and concurrent systems. He is referre ...
and
Arto Salomaa Arto K. Salomaa (born 6 June 1934) is a Finnish mathematician and computer scientist. His research career, which spans over forty years, is focused on formal languages and automata theory. Early life and education Salomaa was born in Turku, Finl ...
in 1993. Since 2010, the Steering Committee chairman is
Juhani Karhumäki Eero Urho Juhani Karhumäki (born 1949) is a Finnish mathematician and theoretical computer scientist known for his contributions to automata theory. He is a professor at the University of Turku. Biography Karhumäki earned his doctorate from the ...
.
23rd DLT 2019
in Warsaw, Poland
22nd DLT 2018
in Tokyo, Japan
21st DLT 2017
in Liège, Belgium
20th DLT 2016
in Montreal, Canada
19th DLT 2015
in Liverpool, England
18th DLT 2014
in Ekaterinburg, Russia
17th DLT 2013
in Marne-la-Vallée, France
16th DLT 2012
in Taipei, Taiwan
15th DLT 2011
in Milan, Italy :Special Issue: International Journal of Foundations of Computer Science 23(5), August 2012
14th DLT 2010
in London (Ontario), Canada :Special Issue: International Journal of Foundations of Computer Science 22(7), November 2011
13th DLT 2009
in Stuttgart, Germany :Special Issue: International Journal of Foundations of Computer Science 22(2), February 2011

in Kyoto, Japan :Special Issue: International Journal of Foundations of Computer Science 21(4), August 2010
11th DLT 2007
in Turku, Finland :Special Issue: International Journal of Foundations of Computer Science 19(3), June 2008
10th DLT 2006
in Santa Barbara, CA, USA :Special Issue: Theoretical Computer Science 376(1-2), May 2007

in Palermo, Italy :Special Issue: International Journal of Foundations of Computer Science 17(3), June 2006
8th DLT 2004
in Auckland, New Zealand :Special Issue: International Journal of Foundations of Computer Science 16(4), August 2005
7th DLT 2003
in Szeged, Hungary :Special Issue: Theoretical Computer Science, 327(3), 2004 * 6th DLT 2002 in Kyoto, Japan
5th DLT 2001
in Vienna, Austria * 4th DLT 1999 in Aachen, Germany * 3rd DLT 1997 in Thessaloniki, Greece * 2nd DLT 1995 in Magdeburg, Germany * 1st DLT 1993 in Turku, Finland


See also

*
List of computer science conferences This is a list of academic conferences in computer science. Only conferences with separate articles are included; within each field, the conferences are listed alphabetically by their short names. General * FCRC – Federated Computing Research C ...
contains other academic conferences in computer science *
Formal language In logic, mathematics, computer science, and linguistics, a formal language consists of words whose letters are taken from an alphabet and are well-formed according to a specific set of rules. The alphabet of a formal language consists of symb ...
s are the main subject of this conference


References

* M. Kudlek. "Report on DLT 2004". '' Bulletin of the EATCS'' 85:207-215, February 2005
(available for download)
* M. Daley. "Report on DLT 2006". '' Bulletin of the EATCS'' 90:227-229, October 2006
(available for download)
* M. Kudlek. "Report on DLT 2008". '' Bulletin of the EATCS'' 97:171-174, February 2009. * M. Kudlek. "Report on DLT 2009". '' Bulletin of the EATCS'' 100:155-159, February 2010. * M. Kudlek. "Report on DLT 2010". '' Bulletin of the EATCS'' 102:227-232, October 2010
(available for download)


External links

*
DLT proceedings information
from
DBLP DBLP is a computer science bibliography website. Starting in 1993 at Universität Trier in Germany, it grew from a small collection of HTML files and became an organization hosting a database and logic programming bibliography site. Since Nove ...
{{Authority control Theoretical computer science conferences Formal languages