DLT2020

Call For Papers

24nd International Conference on Developments in Language Theory
Tampa, FL, USA
May 11-15, 2020
http://www.usf.edu/dlt2020

The International Conference on Developments in Language Theory (DLT 2020) is an event organized to bring together members of the academic, research, and industrial community who have an interest in formal languages, automata theory, and related areas (see possible topics below). The conference will be held in conjunction with the workshop Discrete and Topological Models in Molecular Biology (DTMB2020) under the auspices of the Southeast Center for Mathematical Biology.

Deadline for paper submissions: January 17, 2020
Notification to authors: February 28, 2020
Final Version: March 15, 2020
DLT 2020: May 11-15, 2020

Submission Guidelines

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 (LNCS) Series. Simultaneous submission to journals or other conferences with published proceedings is not allowed. Submitted papers should not exceed 12 pages excluding bibliography and should follow the LNCS-style LaTeX2e (available at http://www.springer.de/comp/lncs/authors.html). 

In order to facilitate the review process, all proofs omitted due to page limitations can be given in an appendix or made accessible through a reliable link to a freely available electronic preprint. Please note that the paper should be self-contained; reviewers are not required to read any additional pages, and review of the appendix is up to the reviewer. Papers should be submitted electronically in PDF through the EasyChair system:

https://easychair.org/conferences/?conf=dlt2020

List of Topics

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
  • automata groups and semigroups
  • polyominoes and multidimensional patterns
  • decidability questions
  • image manipulation and compression
  • efficient text algorithms
  • relationships to cryptography, concurrency, complexity theory, and logic
  • bio-inspired computing
  • algorithms for analysis of biomolecular string patterns
  • quantum computing

Committees

Program Committee

  • Valerie Berthe, CNRS IRIF, France
  • Miroslav Ciric, University of Niš, Serbia
  • Volker Diekert, University of Stuttgart, Germany
  • Jérôme Durand-Lose, LIFO, U. d'Orléans, France
  • Murray Elder, University of Technology Sydney, Australia
  • Paweł Gawrychowski, University of Wroclaw, Poland
  • Yo-Sub Han, Yonsei University, South Korea
  • Tomohiro I, Kyushu Institute of Technology, Japan
  • Oscar Ibarra, University of California - Santa Barbara, USA
  • Natasha Jonoska (co-chair), University of South Florida, USA
  • Juhani Karhumaki, University of Turku, Finland
  • Jarkko Kari, University of Turku, Finland
  • Lila Kari, University of Waterloo, Canada
  • Jetty Kleijn, Leiden University, The Netherlands
  • Markus Lohrey, University of Siegen, Hungary
  • Andrei Păun, University of Bucharest, Romania
  • Giovanni Pighizzini, University of Milano, Italy
  • Igor Potapov, University of Liverpool, UK
  • Svetlana Puzynina, Saint Petersburg State University, Russia
  • Agustín Riscos-Núñez, Universidad de Sevilla, Spain
  • Kai Salomaa, Queen's University, Canada
  • Dmytro Savchuk (co-chair), University of South Florida, USA
  • Shinnosuke Seki, The University of Electro-Communications, Japan
  • Michał Skrzypczak, University of Warsaw, Poland
  • Zoran Sunic, Hofstra University, USA
  • Pascal Weil, CNRS and University Bordeaux, France
  • Reem Yassawi, Open University, UK
  • Hsu-Chun Yen, National Taiwan University, Taiwan

Organizing committee

  • Margherita Ferrari
  • Natasha Jonoska
  • Hwee Kim
  • Dmytro Savchuk

Invited Speakers

Publication

DLT 2020 proceedings will be published in LNCS Springer and selected papers will be invited to a special issue of International Journal of Foundations of Computer Science.

Venue

The conference will be held at the University of South Florida, Tampa, FL, USA.

Address:
University of South Florida
4202 E Fowler ave
Tampa, FL, USA

All questions about submissions should be emailed to dlt2020@usf.edu

Sponsors

National Science Foundation, National Security Agency, University of South Florida,  ResearchOne