IRIT - UMR 5505

Partners

• Centre national de la recherche scientifique (CNRS)
• Université Toulouse I - Capitole
• Université Toulouse II - Le Mirail
• Université Toulouse III - Paul Sabatier
• Institut national polytechnique de Toulouse - INP
• Universidad Politecnica de Madrid - UPM

Directors

• David Pearce, Universidad Politecnica de Madrid,
• Luis Fariñas del Cerro, CNRS

Research Topics

The LEA work initially focuses on formal methods for information technology and will concern six major subareas:

• formal methods for safety and security,
• intelligent agents and open multi-agent systems,
• logics of space and time,
• automated deduction,
• answer set programming,
• ontologies.

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.

Contacts

• David Pearce : david.pearce@upm.es
• Luis Fariñas del Cerro : Luis.Farinas@irit.fr