posted by user: ndisp || 1341 views || tracked by 8 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

LOPAL 2018   International Conference on Learning and Optimization Algorithms: Theory and Applications
IPEC 2017   12th International Symposium on Parameterized and Exact Computation
ACM SAC-RS 2018   ACM SIGAPP Symposium On Applied Computing 2018 - Track on Recommender Systems: Theory, User Interactions and Applications
SBMF 2017   20th Brazilian Symposium on Formal Methods
GISTAM 2018   4th International Conference on Geographical Information Systems Theory, Applications and Management
EXPRESS/SOS 2017   Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics
ICLAA 2017   International Conference on Linear Algebra and its Applications
WACV 2017   IEEE Winter Conference on Applications of Computer Vision
LREC 2018   Language Resources and Evaluation Conference
ICALP 2017   44th International Colloquium on Automata, Languages, and Programming