posted by user: ndisp || 895 views || tracked by 7 users: [display]

LATA 2017 : 11th International Conference on Language and Automata Theory and Applications

FacebookTwitterLinkedInGoogle


Conference Series : Language and Automata Theory and Applications
 
Link: http://grammars.grlmc.com/LATA2017/
 
When Mar 6, 2017 - Mar 10, 2017
Where Umeå, Sweden
Submission Deadline Oct 21, 2016
Notification Due Nov 25, 2016
Final Version Due Dec 5, 2016
Categories    theoretical computer science   formal languages
 

Call For Papers

Organised by

Department of Computing Science,
Umeå University and
Research Group on Mathematical Linguistics (GRLMC),
Rovira i Virgili University

Aims

LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field organized by Rovira i Virgili University since 2002, LATA 2017 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.
Venue

LATA 2017 will take place in Umeå, a university town in North Sweden which was European Capital of Culture in 2014. The venue will be the Faculty of Science and Technology.
Scope

Topics of either theoretical or applied interest include, but are not limited to:

algebraic language theory
algorithms for semi-structured data mining
algorithms on automata and words
automata and logic
automata for system analysis and programme verification
automata networks
automata, concurrency and Petri nets
automatic structures
codes
combinatorics on words
computational complexity
data and image compression
descriptional complexity
foundations of finite state technology
foundations of XML
grammars (Chomsky hierarchy, contextual, unification, categorial, etc.)
grammatical inference and algorithmic learning
graphs and graph transformation
language varieties and semigroups
language-based cryptography
mathematical and logical foundations of programming methodologies
parallel and regulated rewriting
parsing
patterns
power series
string processing algorithms
symbolic dynamics
term rewriting
transducers
trees, tree languages and tree automata
weighted automata

Structure

LATA 2017 will consist of

invited talks
peer-reviewed contributions

Submission

Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (including eventual appendices, references, proofs, etc.) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0).
Submissions have to be uploaded to: https://easychair.org/conferences/?conf=lata2017.

Related Resources

LearnAut 2017   Learning and Automata - LICS 2017 Workshop
IPTA 2017   International Conference on Image Processing Theory, Tools and Applications
NCMA 2017   9-th International Workshop on Non-Classical Models of Automata and Applications
VISAPP 2018   13th International Conference on Computer Vision Theory and Applications
CfP - CONCUR 2017   Call for Papers - 28th International Conference on Concurrency Theory
GandALF 2017   Symposium on Games, Automata, Logics, and Formal Verification
ICTCS 2017   18th Italian Conference on Theoretical Computer Science
LSFA 2017   12th Workshop on Logical and Semantic Frameworks, with Applications
Computation SI 2017   Special Issue in Computational Aspects Related to Unconventional, Bioinspired and Quantum Methods
IVAPP 2018   9th International Conference on Information Visualization Theory and Applications