LATA 2013 - 7th International Conference on Language and Automata Theory and Applications

Date: Tue, Apr 2 - Fri, Apr 5 2013

Hour: 09:00

Location: BCAM-Basque Center for Applied Mathematics.

Speakers: Jin-Yi Cai, Thomas Schwentic, Andrei Voronkov (Invited Lectures); Joél Ouaknine, Luke Ong (Invited Tutorials)

LATA 2013 will take place in Bilbao, at the Basque Country in Northern Spain. The venue will be the BCAM-Basque Center for Applied Mathematics.

April 2-5, 2013

LATA is a yearly conference in theoretical computer science and its applications organized by Research Group on Mathematical Linguistics (GRLMC).

Following the tradition of the International Schools in Formal Languages and Applications developed at Rovira i Virgili University in Tarragona since 2002, LATA 2013 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from both classical theory fields and application areas (bioinformatics, systems biology, language technology, artificial intelligence, etc.).


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 program verification
automata, concurrency and Petri nets
automatic structures
cellular automata
combinatorics on words
computational complexity
computational linguistics
data and image compression
decidability questions on words and languages
descriptional complexity
DNA and other models of bio‐inspired computing
document engineering
foundations of finite state technology
foundations of XML
fuzzy and rough languages
grammars (Chomsky hierarchy, contextual, multidimensional, unification, categorial, etc.)
grammars and automata architectures
grammatical inference and algorithmic learning
graphs and graph transformation
language varieties and semigroups
language-based cryptography
language-theoretic foundations of artificial intelligence and artificial life
parallel and regulated rewriting
pattern recognition
patterns and codes
power series
quantum, chemical and optical computing
string and combinatorial issues in computational biology and bioinformatics
string processing algorithms
symbolic dynamics
symbolic neural networks
term rewriting
trees, tree languages and tree automata
weighted automata



BCAM-Basque Center for Applied Mathematics, Bilbao, Basque Country, Spain

Confirmed speakers:

Jin-Yi Cai, Thomas Schwentic, Andrei Voronkov (Invited Lectures); Joél Ouaknine, Luke Ong (Invited Tutorials)