“French Spanish Laboratory for Advanced Studies in Information, REpresentation and Processing”
The LEA work initially focuses on formal methods for information technology and will concern six major subareas:
While the main aim of the LEA is to further progress in these subareas through a closer collaboration between the institutions, other areas could be gradually added to them via a round of UPM and Irit seminars and a round of workshops that we will organize alternatively in Madrid and Toulouse.
The different groups participating in this initiative have a long-standing and high-quality research experience in different aspects of formal methods for information representation and processing. This will create synergy by exploiting the complementarities of the participating groups. The main activities will be carried out through the exchange of doctoral students, post-docs and researchers and will involve cooperation between at least two of the participating groups in each of the six major subareas. A long-term sustained collaboration between Madrid and Toulouse should create the conditions that allow for progress towards the solution of the numerous open questions that, up to now, have resisted all researchers’ efforts.