Language Engineering and Rigorous Software Development is an 
ALFA project (Latin America Academic Training ) funded by the European Comission.  

Project partners are the Universities of Minho (coordinator), Utrecht, Chalmers, INRIA, Politécnica de Valência, Castilla-La Mancha, La República, EAFIT, Nacional de San Luís, Federal de Minas Gerais, Católica de Santiago del Estero.

The project will fund a total of 27 PhD students co-tutored by a Latin-American and an European institution. Total funding: approx. 530.000€. Current state: 8 PhD students have started their work. 

Additionally the project will set up a research network in the areas of Programming Languages and Rigorous Software Construction.

Theory and Formal Methods at U.Minho