LATA 2013 - 7th International Conference on Language and Automata Theory and Applications
Fecha: Mar, Abr 2 - Vie, Abr 5 2013
Hora: 09:00
Ubicación: BCAM-Basque Center for Applied Mathematics.
Ponentes: Jin-Yi Cai, Thomas Schwentic, Andrei Voronkov (Invited Lectures); Joél Ouaknine, Luke Ong (Invited Tutorials)
Venue
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.
Date
April 2-5, 2013
http://grammars.grlmc.com/LATA2013/
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.).
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 program verification
automata, concurrency and Petri nets
automatic structures
cellular automata
combinatorics on words
computability
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
parsing
pattern recognition
patterns and codes
power series
quantum, chemical and optical computing
semantics
string and combinatorial issues in computational biology and bioinformatics
string processing algorithms
symbolic dynamics
symbolic neural networks
term rewriting
transducers
trees, tree languages and tree automata
weighted automata
POSTER
Organizadores:
BCAM-Basque Center for Applied Mathematics, Bilbao, Basque Country, Spain
Ponentes confirmados:
Jin-Yi Cai, Thomas Schwentic, Andrei Voronkov (Invited Lectures); Joél Ouaknine, Luke Ong (Invited Tutorials)