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