posted by user: igor_potapov || 4242 views || tracked by 10 users: [display]

DLT 2015 : The 19th International Conference on Developments in Language Theory

FacebookTwitterLinkedInGoogle


Conference Series : Developments in Language Theory
 
Link: http://dlt2015.csc.liv.ac.uk/
 
When Jul 27, 2015 - Jul 30, 2015
Where Liverpool, UK
Submission Deadline Mar 23, 2015
Notification Due Apr 27, 2015
Final Version Due May 11, 2015
Categories    theoretical computer science   computation theory   automata theory   formal language theory
 

Call For Papers


Call for Papers -- DLT 2015 EXTENDED DEADLINE is 23 March, 2015

=====================================================

19th International Conference on Developments in Language Theory
University of Liverpool, Liverpool, UK
July 27-30, 2015
http://dlt2015.csc.liv.ac.uk/

EXTENDED Deadline for submissions: 23 March, 2015
=====================================================

The 19th International Conference on Developments in Language Theory (DLT 2015)
will take place in Liverpool ( http://www.visitliverpool.com/ ), UK on July 27-30, 2015.
The conference will be hosted by the Liverpool University Department of Computer Science
and organised in cooperation with the European Association for Theoretical Computer Science (EATCS).

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.



INVITED SPEAKERS
- Mikołaj Bojańczyk (Warsaw University)
- Patrick Dehornoy (Université de Caen)
- Vesa Halava (University of Turku)
- Markus Lohrey (Universität Siegen)
- Wolfgang Thomas (RWTH Aachen)



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; 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.



IMPORTANT DATES
Deadline for submissions: *** 23 March, 2015 ***
(Extended deadline, STRICT)
Notification to authors: 27th April, 2015
Final Version : 11th May , 2015
DLT 2015 : July 27-30, 2015



SUBMISSIONS
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 and should follow the LNCS-style
LaTeX2e (available athttp://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=dlt2015



PROGRAM COMMITTEE
Srecko Brlek (Montreal, Canada)
Manfred Droste (Leipzig, Germany)
Artur Jez (Wroclaw, Poland)
Natasha Jonoska (Tampa, USA)
Rusins Freivalds (Riga Latvia)
Mika Hirvensalo (Turku, Finland)
Markus Holzer (Giessen, Germany)
Juraj Hromkovic (Zurich, Switzerland)
Juhani Karhumaki (Turku, Finland)
Gregory Kucherov (Marne-la-Vallee, France)
Pierre McKenzie (Montreal, Canada)
Igor Potapov (Liverpool, UK)
Daniel Reidenbach (Loughborough, UK)
Marinella Sciortino (Palermo, Italy)
Jean-Éric Pin (Paris, France)
Rick Thomas (Leicester, UK)
Mikhail V. Volkov (Ekaterinburg, Russia)
Hsu-Chun Yen (Taipei, Taiwan)



FURTHER INFORMATION AND CONTACTS
Web: http://dlt2015.csc.liv.ac.uk/

E-mail: potapov@liverpool.ac.uk

Related Resources

DLT 2020   Developments in Language Theory
EXPRESS/SOS 2020   Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
EMNLP 2020   Conference on Empirical Methods in Natural Language Processing
MNLP 2020   4th IEEE Conference on Machine Learning and Natural Language Processing
SI-IoT-DLT 2020   Special Issue on The Convergence of Intelligent Internet of Things (IoT) and Distributed Ledger Technology (DLT): Opportunities, Challenges, and Solutions
DAPP 2020   ACM SAC 2020 Decentralized Applications (DAPP) with Blockchain, DLT and Crypto-Currencies
CLNLP 2020   2020 International Conference on Computational Linguistics and Natural Language Processing (CLNLP 2020)
TextGraphs 2020   14th Workshop on Graph-Based Natural Language Processing (TextGraphs-14)
CONCUR 2020   31st International Conference on Concurrency Theory
LLLC 2020   7th International Conference on Language, Literature, Linguistics and Communication 2020