posted by organizer: mskrzypczak || 1302 views || tracked by 4 users: [display]

DLT 2019 : Developments in Language Theory

FacebookTwitterLinkedInGoogle


Conference Series : Developments in Language Theory
 
Link: http://dlt2019.mimuw.edu.pl/
 
When Aug 5, 2019 - Aug 9, 2019
Where Warsaw, Poland
Abstract Registration Due Mar 10, 2019
Submission Deadline Mar 17, 2019
Notification Due May 10, 2019
Final Version Due May 20, 2019
Categories    formal languages   automata theory   logic   transducers
 

Call For Papers

DLT 2019 - Call for Papers

23nd International Conference on Developments in Language Theory
Warsaw, Poland
Aug. 05-09, 2019
http://dlt2019.mimuw.edu.pl/

The International Conference on Developments in Language Theory (DLT 2019) 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.


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).
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:

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

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

Program Committee

Jacques Duparc
Pierre Ganty
Paweł Gawrychowski
Tero Harju
Kenji Hashimoto
Piotrek Hofman
Tomohiro I
Denis Kuperberg
Christof Löding
Amaldev Manuel
Thomas Place
Svetlana Puzynina
Karin Quaas
Cristian Riveros
Krishna S
Philippe Schnoebelen
Marinella Sciortino
Michał Skrzypczak
Mikhail Volkov
James Worrell
Georg Zetzsche

Organizing committee

Michał Skrzypczak
Piotr Hofman

Invited Speakers

Udii Boker
Amina Doumane,
Artur Jeż,
Shinnosuke Seki

Related Resources

SLIE 2020   Semantic, Logics, Information Extraction and AI
DAPP 2020   ACM SAC 2020 Decentralized Applications (DAPP) with Blockchain, DLT and Crypto-Currencies
ZJULogAI 2020   Zhejiang Conferences on Logics in Artificial Intelligence
CLNLP 2020   2020 International Conference on Computational Linguistics and Natural Language Processing (CLNLP 2020)
VISAPP 2020   15th International Conference on Computer Vision Theory and Applications
ACM--NLPIR--Ei Compendex and Scopus 2020   ACM--2020 4th International Conference on Natural Language Processing and Information Retrieval (NLPIR 2020)--Scopus, Ei Compendex
STOC 2020   Symposium on the Theory of Computing
VISIGRAPP 2020   15th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications
GBDSP 2019   【ACM ICPS EI SCOPUS】2019 3rd International Workshop on Geospatial Big Data and Smart Planet
CanadianAI 2020   33rd Canadian Conference on Artificial Intelligence