We have been granted the MIUR PRIN 2010-2011 grant Automi e Linguaggi Formali: Aspetti Matematici e Applicativi (Automata and Formal Languages: Mathematical aspects and Applications), code H41J12000190001.
The project starts in Feb. 2013 and ends in Jan. 2016