Recent Advances in Formal Languages and Applications